Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study

17 December 2017

Papers citing "Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study"

30 / 30 papers shown

Title
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 42 0 0 26 Jun 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 32 3 0 12 Apr 2024
DE-CROP: Data-efficient Certified Robustness for Pretrained Classifiers Gaurav Kumar Nayak Ruchit Rawal Anirban Chakraborty 19 3 0 17 Oct 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 43 8 0 12 Sep 2022
Deep Neural Networks pruning via the Structured Perspective Regularization M. Cacciola A. Frangioni Xinlin Li Andrea Lodi 3DPC 36 5 0 28 Jun 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 49 30 0 19 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
Polarity Sampling: Quality and Diversity Control of Pre-Trained Generative Networks via Singular Values Ahmed Imtiaz Humayun Randall Balestriero Richard Baraniuk 24 31 0 03 Mar 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 19 2 0 04 Feb 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
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers Colin Paterson Haoze Wu John M. Grese R. Calinescu C. Păsăreanu Clark W. Barrett AAML 30 21 0 02 Mar 2021
Smart Feasibility Pump: Reinforcement Learning for (Mixed) Integer Programming Meng Qi Mengxin Wang Z. Shen 30 10 0 18 Feb 2021
Low Curvature Activations Reduce Overfitting in Adversarial Training Vasu Singla Sahil Singla David Jacobs S. Feizi AAML 43 45 0 15 Feb 2021
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 24 79 0 20 Nov 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 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 27 89 0 24 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem Mattia Silvestri M. Lombardi M. Milano AI4CE 27 18 0 25 Feb 2020
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 45 536 0 09 Jun 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 50 68 0 06 Apr 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 35 263 0 23 Feb 2019
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 24 23 0 06 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 11 747 0 02 Nov 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
Boosting Combinatorial Problem Modeling with Machine Learning M. Lombardi M. Milano AI4CE 20 65 0 15 Jul 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 50 686 0 25 Apr 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017