TY  - RPRT
TI  - Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
AU  - Duo Zhou
AU  - Christopher Brix
AU  - Grani A Hanasusanto
AU  - Huan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2501.00200
ID  - 2501.00200
ER  -