Testing to figure out how much not skipping the tests on trained datasets will cost. - Githubissues

vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

MIT License

113 stars 31 forks source link

Testing to figure out how much not skipping the tests on trained datasets will cost. #69

Closed vtjeng closed 4 years ago

vtjeng commented 4 years ago

Builds do not produce output after 10m