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

**gyue Lu is qualified to endorse.

Branch and Bound for Piecewise Linear Neural Network Verification

**gyue Lu: Is registered as an author of this paper.
Can endorse for cs.CV, cs.LG, cs.LO, stat.ML. (why?)

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli and M. Pawan Kumar are not registered as owners of this paper. (why?)