jaypmorgan/NeuralVerifier.jl

Formal Verification of Deep Neural Networks in Julia

语言：Julia · GitHub 星标：7 · Fork：2

话题：deep-learning · deep-neural-networks · fluxml · machine-learning · verification

在 GitHub 上查看原仓库