/MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Primary LanguageJuliaMIT LicenseMIT

Watchers