15 citations · 42 across the 14 of their papers we have counts for
1 paper · 2 filters
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…