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

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

29 June 2022

Alessandro De Palma

Krishnamurthy Dvijotham

Robert Stanforth

Papers citing "IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound"

13 / 13 papers shown

Title
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 70 0 0 27 Nov 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 33 1 0 02 Oct 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 41 4 0 07 Jun 2024
Verified Neural Compressed Sensing Rudy Bunel Dj Dvijotham M. P. Kumar Alessandro De Palma Robert Stanforth MLT 38 1 0 07 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 42 14 0 11 Apr 2024
Robust Survival Analysis with Adversarial Regularization Michael Potter Stefano Maxenti Michael Everett AAML 16 0 0 26 Dec 2023
Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs Zhakshylyk Nurlanov Frank R. Schmidt Florian Bernard OOD 16 0 0 24 Jul 2023
Understanding Certified Training with Interval Bound Propagation Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 41 14 0 17 Jun 2023
Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth A. Lomuscio AAML 28 11 0 23 May 2023
TAPS: Connecting Certified and Adversarial Training Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 13 10 0 08 May 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 25 66 0 14 Jan 2023
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 23 45 0 10 Oct 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017