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