University of Washington; UT Austin
Matt Jordan, Jonathan Hayase, Alex Dimakis, Sewoong Oh
neural network verification;lagrangian duality;robustness;zonotopes
Zonotope Domains for Lagrangian Neural Network Verification