Verifying Neural Networks with Mixed Integer Programming.

Vincent Tjeng Russ Tedrake

Published in: CoRR (2017)

Keyphrases

mixed integer programming
neural network
column generation
mixed integer
lot sizing
production planning
dantzig wolfe decomposition
unit commitment
lagrangian relaxation
genetic algorithm
search algorithm
resource allocation