@misc{indiciae9ea4c107de9d,
  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},
  year = {2025},
  url = {https://arxiv.org/abs/2412.03154},
  note = {Source identifier: 2412.03154}
}