Projects

Research tools and open-source software for neural network verification.

OOPSLA'25 VerificationActivation FunctionsConvex HullFormal Methods

WraAct: Convex Hull Approximation for General Activation Functions

Efficiently constructing tight over-approximations for activation function hulls, supporting Sigmoid, Tanh, MaxPool and more with 400X faster efficiency.

GitHub Paper

POPL'24 VerificationReLUConvex HullFormal Methods

WraLU: Fast and Precise ReLU Hull Approximation

A fast and precise approach to over-approximating the convex hull of the ReLU function, achieving 10X-10⁶X speedup with 50% fewer constraints.

GitHub Paper