@misc{indiciae42ad381b8e7a,
  title = {E-Globe: Scalable \$ε\$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching},
  author = {Wenting Li and Saif R. Kazi and Russell Bent and Duo Zhou and Huan Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.05068},
  note = {Source identifier: 2602.05068}
}