Example of Python using gurobi for reformulating a ReLU Neural Network into a MILP Constraints.
Uses the method described in Grimstad et al. 2019
- Big M Constraint Tightning
Example of Python using gurobi for reformulating a ReLU Neural Network into a MILP Constraints.
Uses the method described in Grimstad et al. 2019