oval-group/PLNN-verification
All code for the Piecewise Linear Neural Networks verification: A comparative study paper
PythonGPL-3.0
Issues
- 3
Can't multiply torch.tensor and gurobi.Var
#1 opened by dythebs
All code for the Piecewise Linear Neural Networks verification: A comparative study paper
PythonGPL-3.0