A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks.

Christopher Lazarus Mykel J. Kochenderfer

Published in: CoRR (2022)

Keyphrases

mixed integer programming
neural network
lot sizing
mixed integer
dantzig wolfe decomposition
production planning
column generation
unit commitment
lagrangian relaxation
integer programming
genetic algorithm
decision trees
bayesian networks
multistage
lower and upper bounds