Strong mixed-integer programming formulations for trained neural networks

20 November 2018

Ross Anderson

Joey Huchette

Christian Tjandraatmadja

J. Vielma

ArXiv PDF HTML

Papers citing "Strong mixed-integer programming formulations for trained neural networks"

50 / 51 papers shown

Title
Reinforcement learning with combinatorial actions for coupled restless bandits Lily Xu Bryan Wilder Elias B. Khalil Milind Tambe 75 1 0 01 Mar 2025
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 45 0 0 27 Jan 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 96 1 0 12 Dec 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 38 1 0 02 Oct 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 0 0 27 May 2024
Generative AI and Process Systems Engineering: The Next Frontier Benjamin Decardi-Nelson Abdulelah S. Alshehri Akshay Ajagekar Fengqi You AI4CE LLMAG 32 24 0 15 Feb 2024
Learning Prescriptive ReLU Networks Wei-Ju Sun Asterios Tsiourvas 21 2 0 01 Jun 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 47 5 0 22 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
Model-based feature selection for neural networks: A mixed-integer programming approach Shudian Zhao Calvin Tsay Jan Kronqvist 46 5 0 20 Feb 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 29 5 0 31 Jan 2023
Finding Regions of Counterfactual Explanations via Robust Optimization Donato Maragno Jannis Kurtz Tabea E. Rober Rob Goedhart cS. .Ilker Birbil D. Hertog 49 21 0 26 Jan 2023
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions Junyang Cai Khai-Nguyen Nguyen Nishant Shrestha Aidan Good Ruisen Tu Xin Yu Shandian Zhe Thiago Serra MLT 40 7 0 19 Jan 2023
Unsupervised Learning for Combinatorial Optimization with Principled Objective Relaxation Haoyu Wang Nan Wu Hang Yang Cong Hao Pan Li 37 30 0 13 Jul 2022
On data-driven chance constraint learning for mixed-integer optimization problems Antonio Alcántara Carlos Ruiz 8 7 0 08 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
Deep Neural Networks pruning via the Structured Perspective Regularization M. Cacciola A. Frangioni Xinlin Li Andrea Lodi 3DPC 36 5 0 28 Jun 2022
Stability Verification of Neural Network Controllers using Mixed-Integer Programming Roland Schwan Colin N. Jones Daniel Kuhn 29 24 0 27 Jun 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 26 20 0 20 May 2022
Learning to Solve Vehicle Routing Problems: A Survey Aigerim Bogyrbayeva Meraryslan Meraliyev Taukekhan Mustakhov Bissenbay Dauletbayev 29 24 0 05 May 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
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints Jan Kronqvist Ruth Misener Calvin Tsay 51 7 0 10 Feb 2022
OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon Jordan Jalving Joshua Haddad Alexander Thebelt Calvin Tsay C. Laird Ruth Misener 34 70 0 04 Feb 2022
Maximizing information from chemical engineering data sets: Applications to machine learning Alexander Thebelt Johannes Wiebe Jan Kronqvist Calvin Tsay Ruth Misener AI4CE 45 68 0 25 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 40 26 0 06 Jan 2022
Loss Functions for Discrete Contextual Pricing with Observational Data Max Biggs Ruijiang Gao Wei-Ju Sun 31 10 0 18 Nov 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 11 0 17 Nov 2021
Mixed-Integer Optimization with Constraint Learning Donato Maragno H. Wiberg Dimitris Bertsimas Ş. Birbil D. Hertog Adejuyigbe O. Fajemisin 59 50 0 04 Nov 2021
Optimization with Constraint Learning: A Framework and Survey Adejuyigbe O. Fajemisin Donato Maragno D. Hertog 58 46 0 05 Oct 2021
Lyapunov-stable neural-network control Hongkai Dai Benoit Landry Lujie Yang Marco Pavone Russ Tedrake 26 119 0 29 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 25 112 0 31 Aug 2021
Deep Reinforcement Learning for Demand Driven Services in Logistics and Transportation Systems: A Survey Zefang Zong Tao Feng Tong Xia Depeng Jin Yong Li 22 3 0 10 Aug 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 18 8 0 27 Jul 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 22 0 0 08 Mar 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 41 90 0 05 Mar 2021
Encoding Frequency Constraints in Preventive Unit Commitment Using Deep Learning with Region-of-Interest Active Sampling Yichen Zhang Hantao Cui Jianzhe Liu F. Qiu Tianqi Hong Rui Yao F. Li 11 62 0 18 Feb 2021
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 24 78 0 20 Nov 2020
An efficient nonconvex reformulation of stagewise convex optimization problems Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham Dvijotham OffRL 35 14 0 27 Oct 2020
Reinforcement Learning with Combinatorial Actions: An Application to Vehicle Routing A. Delarue Ross Anderson Christian Tjandraatmadja 35 93 0 22 Oct 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 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
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 19 50 0 24 Feb 2020
Contextual Reserve Price Optimization in Auctions via Mixed-Integer Programming Joey Huchette Haihao Lu Hossein Esfandiari Vahab Mirrokni 44 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
Approximating Trajectory Constraints with Machine Learning -- Microgrid Islanding with Frequency Constraints Yichen Zhang Chen Chen Guodong Liu Tianqi Hong F. Qiu 6 40 0 16 Jan 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 24 56 0 01 Jan 2020
CAQL: Continuous Action Q-Learning Moonkyung Ryu Yinlam Chow Ross Anderson Christian Tjandraatmadja Craig Boutilier 197 42 0 26 Sep 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 392 0 15 Mar 2019
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017