AI.info

Grani A. Hanasusanto

Explore Grani A. Hanasusanto on AI.info.

• Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification