TY  - RPRT
TI  - E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
AU  - Wenting Li
AU  - Saif R. Kazi
AU  - Russell Bent
AU  - Duo Zhou
AU  - Huan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.05068
ID  - 2602.05068
ER  -