Stress-Testing Neural Network Verifiers with Provably Robust Instances
David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei, Guido Montúfar · 2026
Read Stress-Testing Neural Network Verifiers with Provably Robust Instances by David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei, Guido Montúfar (2026) in the Tower of Babel, a free online library of public-domain works preserved in clean, searchable text. No sign-up. The full text is served as a plain-text file at a predictable URL, where text is present: https://antarctic-labs.com/tower-of-babel/arxiv-2605-17153.txt.
Description
Troxell and colleagues generate neural-network verification problems whose true robustness labels are known by construction, fixing a gap in current benchmarks. Their framework exposed numeric tolerance worries and a bug in popular verifiers. A difficulty profile then maps distinct sources of problem hardness, and tests of five leading verifiers show different problems stress different parts of the checking pipeline.
Catalog record
| CREATOR | David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei, Guido Montúfar |
|---|---|
| YEAR | 2026 |
| COLLECTION | PAPERS |
| FORMAT | TXT |
| FILE SIZE | 98662 |
| LICENSE | http://creativecommons.org/licenses/by/4.0/ |
| RIGHTS | CC BY |
| SOURCE | arXiv |
Source: https://arxiv.org/abs/2605.17153