ML Anthology
Authors
Search
About
Zhou, Xingjian
1 publications
TMLR
2025
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Xingjian Zhou
,
Keyi Shen
,
Andy Xu
,
Hongji Xu
,
Cho-Jui Hsieh
,
Huan Zhang
,
Zhouxing Shi