On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

30 October 2018

Sven Gowal

Krishnamurthy Dvijotham

Papers citing "On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models"

50 / 158 papers shown

Title
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 26 22 0 11 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
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 79 45 0 16 Sep 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 45 8 0 12 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 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
Provably Adversarially Robust Nearest Prototype Classifiers Václav Voráček Matthias Hein AAML 25 11 0 14 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 48 17 0 29 Jun 2022
Learning To Cut By Looking Ahead: Cutting Plane Selection via Imitation Learning Max B. Paulus Giulia Zarpellon Andreas Krause Laurent Charlin Chris J. Maddison 33 58 0 27 Jun 2022
Certifiably Robust Policy Learning against Adversarial Communication in Multi-agent Systems Yanchao Sun Ruijie Zheng Parisa Hassanzadeh Yongyuan Liang S. Feizi Sumitra Ganesh Furong Huang AAML 36 10 0 21 Jun 2022
Adversarial Patch Attacks and Defences in Vision-Based Tasks: A Survey Abhijith Sharma Yijun Bian Phil Munz Apurva Narayan VLM AAML 27 20 0 16 Jun 2022
Architectural Backdoors in Neural Networks Mikel Bober-Irizar Ilia Shumailov Yiren Zhao Robert D. Mullins Nicolas Papernot AAML 23 23 0 15 Jun 2022
On the Robustness of Safe Reinforcement Learning under Observational Perturbations Zuxin Liu Zijian Guo Zhepeng Cen Huan Zhang Jie Tan Bo-wen Li Ding Zhao OOD OffRL 48 35 0 29 May 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
RoMFAC: A robust mean-field actor-critic reinforcement learning against adversarial perturbations on states Ziyuan Zhou Guanjun Liu AAML 35 24 0 15 May 2022
Individual Fairness Guarantees for Neural Networks Elias Benussi A. Patané Matthew Wicker Luca Laurenti Marta Kwiatkowska University of Oxford 28 21 0 11 May 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 39 13 0 12 Apr 2022
3DeformRS: Certifying Spatial Deformations on Point Clouds S. GabrielPérez Juan C. Pérez Motasem Alfarra Silvio Giancola Guohao Li 3DPC 40 12 0 12 Apr 2022
A Simple Approach to Adversarial Robustness in Few-shot Image Classification Akshayvarun Subramanya Hamed Pirsiavash VLM 29 6 0 11 Apr 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 Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 15 0 06 Mar 2022
Smoothed Embeddings for Certified Few-Shot Learning Mikhail Aleksandrovich Pautov Olesya Kuznetsova Nurislam Tursynbek Aleksandr Petiushko Ivan Oseledets 47 5 0 02 Feb 2022
Certifying Model Accuracy under Distribution Shifts Aounon Kumar Alexander Levine Tom Goldstein S. Feizi OOD 27 7 0 28 Jan 2022
Robust Natural Language Processing: Recent Advances, Challenges, and Future Directions Marwan Omar Soohyeon Choi Daehun Nyang David A. Mohaisen 32 57 0 03 Jan 2022
The King is Naked: on the Notion of Robustness for Natural Language Processing Emanuele La Malfa Marta Z. Kwiatkowska 20 28 0 13 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 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
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 41 76 0 02 Nov 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks Mikhail Aleksandrovich Pautov Nurislam Tursynbek Marina Munkhoeva Nikita Muravev Aleksandr Petiushko Ivan Oseledets AAML 52 16 0 22 Sep 2021
An automatic differentiation system for the age of differential privacy Dmitrii Usynin Alexander Ziller Moritz Knolle Andrew Trask Kritika Prakash Daniel Rueckert Georgios Kaissis 35 3 0 22 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 33 19 0 14 Sep 2021
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 28 12 0 01 Sep 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 19 53 0 09 Aug 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 18 8 0 27 Jul 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 26 17 0 18 Jul 2021
Scalable Certified Segmentation via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev 18 38 0 01 Jul 2021
Policy Smoothing for Provably Robust Reinforcement Learning Aounon Kumar Alexander Levine S. Feizi AAML 20 56 0 21 Jun 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 47 15 0 16 Jun 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 31 31 0 09 Jun 2021
Provably Robust Detection of Out-of-distribution Data (almost) for free Alexander Meinke Julian Bitterwolf Matthias Hein OODD 33 22 0 08 Jun 2021
On the Sensitivity and Stability of Model Interpretations in NLP Fan Yin Zhouxing Shi Cho-Jui Hsieh Kai-Wei Chang FAtt 19 33 0 18 Apr 2021
Relating Adversarially Robust Generalization to Flat Minima David Stutz Matthias Hein Bernt Schiele OOD 41 65 0 09 Apr 2021
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers Patricia Pauli Dennis Gramlich J. Berberich Frank Allgöwer 27 26 0 31 Mar 2021
Robust Vision-Based Cheat Detection in Competitive Gaming Aditya Jonnalagadda I. Frosio Seth Schneider M. McGuire Joohwan Kim AAML 32 15 0 18 Mar 2021
Adversarial Training is Not Ready for Robot Learning Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus T. Henzinger AAML 38 34 0 15 Mar 2021
A Multiclass Boosting Framework for Achieving Fast and Provable Adversarial Robustness Jacob D. Abernethy Pranjal Awasthi Satyen Kale AAML 27 6 0 01 Mar 2021
Low Curvature Activations Reduce Overfitting in Adversarial Training Vasu Singla Sahil Singla David Jacobs S. Feizi AAML 43 45 0 15 Feb 2021