issues
search
vtjeng
/
MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113
stars
31
forks
source link
Use Julia 1 instead of 1.0 for ubuntu-latest/x86
#124
Closed
vtjeng
closed
2 years ago