Certified Invertibility in Neural Networks via Mixed-Integer Programming.
Tianqi CuiThomas BertalanGeorge J. PappasManfred MorariYannis G. KevrekidisMahyar FazlyabPublished in: L4DC (2023)
Keyphrases
- mixed integer programming
- neural network
- column generation
- mixed integer
- lot sizing
- unit commitment
- dantzig wolfe decomposition
- production planning
- lagrangian relaxation
- sufficient conditions
- genetic algorithm
- learning algorithm
- knapsack problem
- constraint programming
- linear program
- constraint satisfaction problems
- dynamic programming
- feature space