GitHub repository: vtjeng/MIPVerify.jl
Primary language: Julia
Description: Evaluating Robustness of Neural Networks with Mixed Integer Programming