Zonotope Domains for Lagrangian Neural Network Verification

Matt Jordan, Jonathan Hayase, Alexandros G. Dimakis +1

Neural network verification aims to provide provable bounds for the output of a neural network for a given input range. Notable prior works in this domain have either generated bou…