Taming Binarized Neural Networks and Mixed-Integer Programs.

Johannes Aspman Georgios Korpas Jakub Marecek

Published in: CoRR (2023)

Keyphrases

neural network
mixed integer program
feasible solution
mixed integer
linear program
lot sizing
cutting plane
genetic algorithm
input image
search algorithm
optimal solution
lagrangian relaxation
level set
convex hull
continuous variables
objective function
valid inequalities
bayesian networks