Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

11 March 2021

Papers citing "Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification"

50 / 51 papers shown

Title
Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss Bo-Han Lai Pin-Han Huang Bo-Han Kung Shang-Tse Chen 21 0 0 21 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 50 0 0 02 May 2025
Hadamard product in deep learning: Introduction, Advances and Challenges Grigorios G. Chrysos Yongtao Wu Razvan Pascanu Philip Torr V. Cevher AAML 98 1 0 17 Apr 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 53 0 0 23 Feb 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 84 6 0 17 Feb 2025
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 65 1 0 03 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Adversarial Robustification via Text-to-Image Diffusion Models Daewon Choi Jongheon Jeong Huiwon Jang Jinwoo Shin DiffM 52 1 0 26 Jul 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 50 1 0 14 Jun 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 53 11 0 31 May 2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 36 0 0 17 May 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 60 6 0 12 Apr 2024
A Transition System Abstraction Framework for Neural Network Dynamical System Models Yejiang Yang Zihao Mo Hoang-Dung Tran Weiming Xiang 27 0 0 18 Feb 2024
Robust Survival Analysis with Adversarial Regularization Michael Potter Stefano Maxenti Michael Everett AAML 24 0 0 26 Dec 2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 31 1 0 17 Dec 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 44 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 21 11 0 29 Sep 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 44 9 0 20 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 36 13 0 27 Jul 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 49 5 0 22 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 38 7 0 05 May 2023
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 22 3 0 28 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 43 15 0 31 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Jiaheng Liu Min Zhang 56 4 0 21 Mar 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 36 17 0 19 Mar 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 29 5 0 31 Jan 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 40 4 0 26 Jan 2023
Robust One-Class Classification with Signed Distance Function using 1-Lipschitz Neural Networks Louis Bethune Paul Novello Thibaut Boissin Guillaume Coiffier M. Serrurier Quentin Vincenot Andres Troya-Galvis 39 8 0 26 Jan 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 40 16 0 17 Jan 2023
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 53 11 0 02 Dec 2022
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations Hong-Ming Chiu Richard Y. Zhang AAML 22 2 0 30 Nov 2022
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 28 10 0 15 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 52 6 0 01 Nov 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 39 46 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
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 34 6 0 12 Sep 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks Zhaodi Zhang Yiting Wu Siwen Liu Jing Liu Min Zhang AAML 31 11 0 21 Aug 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo Li Suman Jana Cho-Jui Hsieh J. Zico Kolter 48 97 0 11 Aug 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 30 33 0 06 Jul 2022
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations Tianle Zhang Wenjie Ruan J. Fieldsend AAML 18 21 0 05 Jul 2022
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 39 83 0 30 Apr 2022
Toward Robust Spiking Neural Network Against Adversarial Perturbation Ling Liang Kaidi Xu Xing Hu Lei Deng Yuan Xie AAML 41 13 0 12 Apr 2022
Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis Thomas Fel Mélanie Ducoffe David Vigouroux Rémi Cadène Mikael Capelle C. Nicodeme Thomas Serre AAML 28 41 0 15 Feb 2022
On the Minimal Adversarial Perturbation for Deep Neural Networks with Provable Estimation Error Fabio Brau Giulio Rossolini Alessandro Biondi Giorgio Buttazzo AAML 42 7 0 04 Jan 2022
ScaleCert: Scalable Certified Defense against Adversarial Patches with Sparse Superficial Layers Husheng Han Kaidi Xu Xing Hu Xiaobing Chen Ling Liang Zidong Du Qi Guo Yanzhi Wang Yunji Chen AAML 16 19 0 27 Oct 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 60 1 0 22 Jan 2021
Robust Reinforcement Learning on State Observations with Learned Optimal Adversary Huan Zhang Hongge Chen Duane S. Boning Cho-Jui Hsieh 67 163 0 21 Jan 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo Li AAML 38 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 251 1,842 0 03 Feb 2017