17 citations · 28 across the 18 of their papers we have counts for
1 paper · 1 filter
Chuqin Geng, Nham Le, Xiaojie Xu +3
Having reliable specifications is an unavoidable challenge in achieving verifiable correctness, robustness, and interpretability of AI systems. Existing specifications for neural n…