IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Authors: Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth | Published: 2022-06-29 | Updated: 2023-05-31
Algorithm Design
Efficient Proof System
Adversarial Learning