Sign in
Certified Invertibility in Neural Networks via Mixed-Integer Programming.
Tianqi Cui
Thomas Bertalan
George J. Pappas
Manfred Morari
Ioannis G. Kevrekidis
Mahyar Fazlyab
Published in:
CoRR (2023)
Keyphrases
</>
mixed integer programming
neural network
column generation
mixed integer
dantzig wolfe decomposition
lot sizing
unit commitment
production planning
sufficient conditions
lagrangian relaxation
genetic algorithm
decision making
optimal solution