Evaluating Robustness of Neural Networks with Mixed Integer Programming

20 November 2017

Papers citing "Evaluating Robustness of Neural Networks with Mixed Integer Programming"

22 / 22 papers shown

Title
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 19 0 0 01 Oct 2022
Provably Adversarially Robust Nearest Prototype Classifiers Václav Voráček Matthias Hein AAML 20 11 0 14 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 16 10 0 02 Jul 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 18 41 0 15 Feb 2022
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 9 78 0 20 Nov 2020
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 37 47 0 24 Aug 2020
Robust Deep Reinforcement Learning through Adversarial Loss Tuomas P. Oikarinen Wang Zhang Alexandre Megretski Luca Daniel Tsui-Wei Weng AAML 31 92 0 05 Aug 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 11 89 0 24 Jun 2020
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 30 22 0 30 Apr 2020
Contextual Reserve Price Optimization in Auctions via Mixed-Integer Programming Joey Huchette Haihao Lu Hossein Esfandiari Vahab Mirrokni 28 7 0 20 Feb 2020
Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming M. Elaraby Guy Wolf Margarida Carvalho 26 5 0 17 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 17 3 0 10 Feb 2020
Fast is better than free: Revisiting adversarial training Eric Wong Leslie Rice J. Zico Kolter AAML OOD 25 1,158 0 12 Jan 2020
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 29 41 0 09 Oct 2019
Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks Francesco Croce Jonas Rauber Matthias Hein AAML 20 30 0 27 Mar 2019
Fast Neural Network Verification via Shadow Prices Vicencc Rubies-Royo Roberto Calandra D. Stipanović Claire Tomlin AAML 16 41 0 19 Feb 2019
A randomized gradient-free attack on ReLU networks Francesco Croce Matthias Hein AAML 21 21 0 28 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 20 18 0 14 Nov 2018
Combinatorial Attacks on Binarized Neural Networks Elias Boutros Khalil Amrita Gupta B. Dilkina AAML 33 40 0 08 Oct 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 4 199 0 09 Sep 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017