Taming Binarized Neural Networks and Mixed-Integer Programs.

Johannes Aspman Georgios Korpas Jakub Marecek

Published in: AAAI (2024)

Keyphrases

mixed integer program
neural network
feasible solution
mixed integer
lot sizing
cutting plane
linear program
lagrangian relaxation
valid inequalities
input image
binary variables