vtjeng/MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

语言：Julia · GitHub 星标：118 · Fork：31

在 GitHub 上查看原仓库