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