search

vtjeng / MIPVerify.jl

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

Add pkgeval badge #135

Closed vtjeng closed 1 year ago

vtjeng commented 1 year ago

We followed the instructions in https://github.com/JuliaCI/NanosoldierReports/.