Efficient Neural Network Robustness Certification with General Activation Functions

2 November 2018

Papers citing "Efficient Neural Network Robustness Certification with General Activation Functions"

50 / 177 papers shown

Title
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 38 4 0 26 Jan 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 34 2 0 26 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 39 10 0 19 Jan 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 43 66 0 14 Jan 2023
REaaS: Enabling Adversarially Robust Downstream Classifiers via Robust Encoder as a Service Wenjie Qu Jinyuan Jia Neil Zhenqiang Gong SILM AAML 34 4 0 07 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 41 1 0 15 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 50 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
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 28 5 0 25 Nov 2022
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 28 10 0 15 Nov 2022
Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise Jhih-Cing Huang Yu-Lin Tsai Chao-Han Huck Yang Cheng-Fang Su Chia-Mu Yu Pin-Yu Chen Sy-Yen Kuo AAML 36 20 0 02 Nov 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction Edoardo Manino I. Bessa Lucas C. Cordeiro 23 1 0 21 Oct 2022
DE-CROP: Data-efficient Certified Robustness for Pretrained Classifiers Gaurav Kumar Nayak Ruchit Rawal Anirban Chakraborty 19 3 0 17 Oct 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 37 9 0 14 Oct 2022
Efficient Adversarial Training without Attacking: Worst-Case-Aware Robust Reinforcement Learning Yongyuan Liang Yanchao Sun Ruijie Zheng Furong Huang OOD AAML OffRL 28 47 0 12 Oct 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
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 46 0 0 01 Oct 2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How 35 26 0 28 Sep 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 48 8 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 29 11 0 21 Aug 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 97 0 11 Aug 2022
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach Saber Jafarpour A. Davydov Matthew Abate Francesco Bullo Samuel Coogan 13 1 0 08 Aug 2022
Provable Defense Against Geometric Transformations Rem Yang Jacob S. Laurel Sasa Misailovic Gagandeep Singh AAML 33 15 0 22 Jul 2022
3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Q. Ni 3DPC 36 10 0 15 Jul 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
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 50 17 0 29 Jun 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 32 43 0 24 Jun 2022
The Consistency of Adversarial Training for Binary Classification Natalie Frank Jonathan Niles-Weed AAML 43 5 0 18 Jun 2022
Can pruning improve certified robustness of neural networks? Zhangheng Li Tianlong Chen Linyi Li Bo-wen Li Zhangyang Wang AAML 21 12 0 15 Jun 2022
Safety Certification for Stochastic Systems via Neural Barrier Functions Frederik Baymler Mathiesen S. Calvert Luca Laurenti 31 35 0 03 Jun 2022
Robust Longitudinal Control for Vehicular Autonomous Platoons Using Deep Reinforcement Learning A. A. Neto L. Mozelli 19 0 0 31 May 2022
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning Mathias Lechner Alexander Amini Daniela Rus T. Henzinger AAML 34 10 0 15 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
Robust and Accurate -- Compositional Architectures for Randomized Smoothing Miklós Z. Horváth Mark Niklas Muller Marc Fischer Martin Vechev UQCV AAML 10 13 0 01 Apr 2022
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 30 12 0 22 Mar 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 59 30 0 19 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 34 13 0 26 Feb 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
Holistic Adversarial Robustness of Deep Learning Models Pin-Yu Chen Sijia Liu AAML 54 16 0 15 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 42 26 0 06 Jan 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
Learning Robust and Lightweight Model through Separable Structured Transformations Xian Wei Yanhui Huang Yang Xu Mingsong Chen Hai Lan Yuanxiang Li Zhongfeng Wang Xuan Tang OOD 24 0 0 27 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
On the Existence of the Adversarial Bayes Classifier (Extended Version) Pranjal Awasthi Natalie Frank M. Mohri 31 24 0 03 Dec 2021
Certified Adversarial Defenses Meet Out-of-Distribution Corruptions: Benchmarking Robustness and Simple Baselines Jiachen Sun Akshay Mehra B. Kailkhura Pin-Yu Chen Dan Hendrycks Jihun Hamm Z. Morley Mao AAML 41 21 0 01 Dec 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 56 8 0 15 Nov 2021
On the Equivalence between Neural Network and Support Vector Machine Yilan Chen Wei Huang Lam M. Nguyen Tsui-Wei Weng AAML 25 18 0 11 Nov 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 43 76 0 02 Nov 2021