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

Christopher Lazarus Mykel J. Kochenderfer

Published in: AISafety@IJCAI (2021)

Keyphrases

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