search

vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113 stars 31 forks source link

Simplify running subsets of tests with the same configuration as in CI. #75

Closed vtjeng closed 4 years ago