Zonotope Domains for Lagrangian Neural Network Verification - Jordan, Matt; Hayase, Jonathan; Dimakis, Alex; Oh, Sewoong (Advances in Neural Information Processing Systems, 2022)