@inproceedings{NEURIPS2022_37c5e5e5, author = {Jordan, Matt and Hayase, Jonathan and Dimakis, Alex and Oh, Sewoong}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {8400--8413}, publisher = {Curran Associates, Inc.}, title = {Zonotope Domains for Lagrangian Neural Network Verification}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/37c5e5e5e44950fe20f9e6452d0373ec-Paper-Conference.pdf}, volume = {35}, year = {2022} }