Complete Verification via Multi-Neuron Relaxation Guided
Branch-and-Bound

Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

30 April 2022

Claudio Ferrari

Mark Niklas Muller

Nikola Jovanović

Martin Vechev

Papers citing "Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound"

13 / 63 papers shown

Title
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results Mark Niklas Muller Christopher Brix Stanley Bak Changliu Liu Taylor T. Johnson NAI 35 43 0 20 Dec 2022
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 40 5 0 14 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 48 11 0 02 Dec 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 41 6 0 01 Nov 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 39 45 0 10 Oct 2022
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora Mehmet Fatih Şahin Fanghui Liu Grigorios G. Chrysos V. Cevher 23 5 0 15 Sep 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo-wen Li Suman Jana Cho-Jui Hsieh J. Zico Kolter 46 95 0 11 Aug 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 48 17 0 29 Jun 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 47 18 0 08 Jun 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin Michele Alberti F. Bobot Zakaria Chihani Augustin Lemesle 51 10 0 07 Jun 2022
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Muller Marc Fischer Robin Staab Martin Vechev 26 3 0 14 Oct 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017