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

Alessandro De Palma is qualified to endorse.

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound

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, Krishnamurthy Dvijotham, M. Pawan Kumar and Robert Stanforth are not registered as owners of this paper. (why?)