TY  - RPRT
TI  - SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
AU  - Xingjian Zhou
AU  - Keyi Shen
AU  - Andy Xu
AU  - Hongji Xu
AU  - Cho-Jui Hsieh
AU  - Huan Zhang
AU  - Zhouxing Shi
PY  - 2025
UR  - https://arxiv.org/abs/2412.03154
ID  - 2412.03154
ER  -