@article{troxell2026veristress,
	title={Stress-Testing Neural Network Verifiers with Provably Robust Instances}, 
	author={David Troxell and Yulia Alexandr and Sofia Hunt and Stephanie Lei and Guido Mont\'ufar},
	year={2026},
	journal={arXiv:2605.17153},
	nourl={https://arxiv.org/abs/2605.17153},
	url={https://openreview.net/forum?id=ZNCH6XVMki},
}