Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan

Under the dual lens, verification is treated as a stagewise optimization problem and Lagrangian relaxation is applied to yield a dual function that always provides valid lower bounds.