TY  - RPRT
TI  - Stress-Testing Neural Network Verifiers with Provably Robust Instances
AU  - David Troxell
AU  - Yulia Alexandr
AU  - Sofia Hunt
AU  - Stephanie Lei
AU  - Guido Montúfar
PY  - 2026
UR  - https://arxiv.org/abs/2605.17153
ID  - 2605.17153
ER  -