Towards Fast Computation of Certified Robustness for ReLU Networks

25 April 2018

Inderjit S. Dhillon

Papers citing "Towards Fast Computation of Certified Robustness for ReLU Networks"

50 / 153 papers shown

Title
CERT-ED: Certifiably Robust Text Classification for Edit Distance Zhuoqun Huang Yipeng Wang Seunghee Shin Benjamin I. P. Rubinstein AAML 56 1 0 01 Aug 2024
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 44 3 0 03 Jul 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 1 0 27 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Trust Regions for Explanations via Black-Box Probabilistic Certification Amit Dhurandhar Swagatam Haldar Dennis L. Wei Karthikeyan N. Ramamurthy FAtt 40 2 0 17 Feb 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 51 1 0 26 Jan 2024
Fast and Exact Enumeration of Deep Networks Partitions Regions Randall Balestriero Yann LeCun 18 5 0 20 Jan 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 38 12 0 20 Dec 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 36 0 0 15 Nov 2023
DP-SGD with weight clipping Antoine Barczewski Jan Ramon 11 1 0 27 Oct 2023
A Geometrical Approach to Evaluate the Adversarial Robustness of Deep Neural Networks Yang Wang B. Dong Ke Xu Haiyin Piao Yufei Ding Baocai Yin Xin Yang AAML 39 3 0 10 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 34 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 16 11 0 29 Sep 2023
Uncertainty Estimation and Out-of-Distribution Detection for Deep Learning-Based Image Reconstruction using the Local Lipschitz D. Bhutto Bo Zhu J. Liu Neha Koonjoo H. Li Bruce Rosen M. Rosen UQCV OOD 15 2 0 12 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 33 0 29 Apr 2023
Towards Large Certified Radius in Randomized Smoothing using Quasiconcave Optimization Bo-Han Kung Shang-Tse Chen AAML 24 0 0 01 Feb 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 32 15 0 31 Jan 2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming Tianqi Cui Tom S. Bertalan George J. Pappas M. Morari Ioannis G. Kevrekidis Mahyar Fazlyab AAML 27 2 0 27 Jan 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 29 2 0 26 Jan 2023
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy Yusuke Kawamoto Kazumasa Miyake K. Konishi Y. Oiwa 24 4 0 18 Jan 2023
Robust Explanation Constraints for Neural Networks Matthew Wicker Juyeon Heo Luca Costabello Adrian Weller FAtt 29 18 0 16 Dec 2022
AdvCat: Domain-Agnostic Robustness Assessment for Cybersecurity-Critical Applications with Categorical Inputs Helene Orsini Hongyan Bao Yujun Zhou Xiangrui Xu Yufei Han Longyang Yi Wei Wang Xin Gao Xiangliang Zhang AAML 44 1 0 13 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 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 23 9 0 15 Nov 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction Edoardo Manino I. Bessa Lucas C. Cordeiro 21 1 0 21 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
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 44 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
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 29 1 0 20 Sep 2022
Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability Mengdi Xu Zuxin Liu Peide Huang Wenhao Ding Zhepeng Cen Bo-wen Li Ding Zhao 76 45 0 16 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
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 32 10 0 15 Jul 2022
RUSH: Robust Contrastive Learning via Randomized Smoothing Yijiang Pang Boyang Liu Jiayu Zhou OOD AAML 19 1 0 11 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations Tianle Zhang Wenjie Ruan J. Fieldsend AAML 13 21 0 05 Jul 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
Riemannian data-dependent randomized smoothing for neural networks certification Pol Labarbarie H. Hajri M. Arnaudon 29 4 0 21 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 13 11 0 15 Jun 2022
Towards Evading the Limits of Randomized Smoothing: A Theoretical Analysis Raphael Ettedgui Alexandre Araujo Rafael Pinot Y. Chevaleyre Jamal Atif AAML 34 3 0 03 Jun 2022
(De-)Randomized Smoothing for Decision Stump Ensembles Miklós Z. Horváth Mark Niklas Muller Marc Fischer Martin Vechev 30 3 0 27 May 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 26 5 0 14 May 2022
Smooth-Reduce: Leveraging Patches for Improved Certified Robustness Ameya Joshi Minh Pham Minsu Cho Leonid Boytsov Filipe Condessa J. Zico Kolter C. Hegde UQCV AAML 32 2 0 12 May 2022
How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective Yimeng Zhang Yuguang Yao Jinghan Jia Jinfeng Yi Min-Fong Hong Shiyu Chang Sijia Liu AAML 26 33 0 27 Mar 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 47 30 0 19 Mar 2022
COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks Fan Wu Linyi Li Chejian Xu Huan Zhang B. Kailkhura K. Kenthapadi Ding Zhao Bo-wen Li AAML OffRL 32 34 0 16 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 38 4 0 01 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 32 13 0 26 Feb 2022