@misc{indiciae0c80b5bc04aa,
  title = {Zonotope Domains for Lagrangian Neural Network Verification},
  author = {Matt Jordan and Jonathan Hayase and Alexandros G. Dimakis and Sewoong Oh},
  year = {2022},
  url = {https://arxiv.org/abs/2210.08069},
  note = {Source identifier: 2210.08069}
}