TY  - RPRT
TI  - Zonotope Domains for Lagrangian Neural Network Verification
AU  - Matt Jordan
AU  - Jonathan Hayase
AU  - Alexandros G. Dimakis
AU  - Sewoong Oh
PY  - 2022
UR  - https://arxiv.org/abs/2210.08069
ID  - 2210.08069
ER  -