Cite
Notes
Only stored in your browser.
Attribution
Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples
arXiv 2024
from 1 papers
Cho-Jui Hsieh
Hongji Xu
huan zhang
Xingjian Zhou
Zhouxing Shi