@article{
zhou2025soundnessbench,
title={SoundnessBench: A Soundness Benchmark for Neural Network Verifiers},
author={Xingjian Zhou and Keyi Shen and Andy Xu and Hongji Xu and Cho-Jui Hsieh and Huan Zhang and Zhouxing Shi},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2025},
url={https://openreview.net/forum?id=UuYYldVLH3},
note={}
}