TY  - RPRT
TI  - Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
AU  - Duo Zhou
AU  - Jorge Chavez
AU  - Hesun Chen
AU  - Grani A. Hanasusanto
AU  - Huan Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2512.11087
ID  - 2512.11087
ER  -