Mathematical Formulation
Exact optimization of ReLU neural networks using mixed-integer linear programming constraints.
Exact formulation of deep neural networks as Mixed Integer Linear Programs for input reconstruction.
Exact optimization of ReLU neural networks using mixed-integer linear programming constraints.