Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks.
Calvin TsayJan KronqvistAlexander ThebeltRuth MisenerPublished in: NeurIPS (2021)
Keyphrases
- mixed integer
- neural network
- valid inequalities
- mixed integer linear programming
- global optimization problems
- quadratic program
- linear program
- lot sizing
- benders decomposition
- convex hull
- mixed integer programming
- optimal solution
- feasible solution
- cutting plane
- mixed integer program
- continuous variables
- continuous relaxation
- optimization algorithm
- genetic algorithm
- optimization problems
- network design problem
- lagrangian heuristic
- training set