APA (7th ed.) Citation

Troxell, D., Alexandr, Y., Hunt, S., Lei, S., & Montúfar, G. (2026). Stress-Testing Neural Network Verifiers with Provably Robust Instances.

Chicago Style (17th ed.) Citation

Troxell, David, Yulia Alexandr, Sofia Hunt, Stephanie Lei, and Guido Montúfar. Stress-Testing Neural Network Verifiers with Provably Robust Instances. 2026.

MLA (9th ed.) Citation

Troxell, David, et al. Stress-Testing Neural Network Verifiers with Provably Robust Instances. 2026.