Zhou, Duo

2 publications

NeurIPS 2025 CLIP-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification Duo Zhou, Jorge Chavez, Hesun Chen, Grani A. Hanasusanto, Huan Zhang

NeurIPS 2024 Scalable Neural Network Verification with Branch-and-Bound Inferred Cutting Planes Duo Zhou, Christopher Brix, Grani A Hanasusanto, Huan Zhang