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?)