We gratefully acknowledge support from
the Simons Foundation and member institutions.

Alessandro De Palma and Rudy Bunel are qualified to endorse.

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Alessandro De Palma: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.CV, cs.LG, cs.LO, stat.ML. (why?)
Rudy Bunel: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.LG. (why?)

Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr and M. Pawan Kumar are not registered as owners of this paper. (why?)