Improved Branch and Bound for Neural Network Verification via Lagrangian
Decomposition

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

14 April 2021

Alessandro De Palma

Alban Desmaison

Krishnamurthy Dvijotham

Philip H. S. Torr

Papers citing "Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition"

14 / 14 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 45 0 0 02 May 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 43 0 0 23 Feb 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 73 1 0 12 Dec 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 34 11 0 31 May 2024
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip H. S. Torr M. P. Kumar PINN 19 1 0 17 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
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 19 6 0 12 Sep 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 32 17 0 29 Jun 2022
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 23 81 0 30 Apr 2022
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 12 112 0 31 Aug 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 11 17 0 18 Jul 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 26 15 0 16 Jun 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 45 1 0 22 Jan 2021
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,832 0 03 Feb 2017