GitHub repository: JuliaReach/NeuralVerification.jl
Primary language: Julia
Description: Methods to soundly verify deep neural networks