SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Xingjian Zhou, Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang, Zhouxing Shi
Action editor: Grigorios Chrysos
https://openreview.net/forum?id=UuYYldVLH3
#soundnessbench #adversarial #soundness