Projects¶
My open-source verification tools for neural network robustness certification.
🎯 WraLU
Fast and Precise ReLU Hull Approximation
10X-10⁶X faster verification with 50% fewer constraints. Published at POPL’24.
🚀 WraAct
Convex Hull Approximation for General Activation Functions
400X faster with 150X better precision and 50% fewer constraints. Published at OOPSLA’25.