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
huan zhang
Xingjian Zhou
Zhouxing Shi