ReLU Networks as Surrogate Models in Mixed-Integer Linear Programs

6 July 2019

Papers citing "ReLU Networks as Surrogate Models in Mixed-Integer Linear Programs"

13 / 13 papers shown

Title
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
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 40 5 0 20 Feb 2023
Physics Informed Piecewise Linear Neural Networks for Process Optimization Ece S. Koksal E. Aydın PINN 22 11 0 02 Feb 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
Counterfactual Explanations Using Optimization With Constraint Learning Donato Maragno Tabea E. Rober Ilker Birbil CML 58 10 0 22 Sep 2022
On data-driven chance constraint learning for mixed-integer optimization problems Antonio Alcántara Carlos Ruiz 8 7 0 08 Jul 2022
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints Jan Kronqvist Ruth Misener Calvin Tsay 48 7 0 10 Feb 2022
Mixed-Integer Optimization with Constraint Learning Donato Maragno H. Wiberg Dimitris Bertsimas Ş. Birbil D. Hertog Adejuyigbe O. Fajemisin 59 50 0 04 Nov 2021
Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment Alyssa Kody Samuel C. Chevalier Spyros Chatzivasileiadis Daniel Molzahn 64 37 0 21 Oct 2021
Optimization with Constraint Learning: A Framework and Survey Adejuyigbe O. Fajemisin Donato Maragno D. Hertog 58 46 0 05 Oct 2021
Fast Design Space Exploration of Nonlinear Systems: Part I S. Narain Emily Mak Dana Chee Brendan Englot K. Pochiraju N. Jha Karthik Narayan 25 5 0 05 Apr 2021
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