PrototypeCommon
sisl/NeuralVerification.jl
Methods to soundly verify deep neural networks
- Owner
- sisl (organization)
- Stars
- Stars: 234
- Forks
- Forks: 50
- Language
- Julia
- License
- MIT
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sisl
All 8 repos by sisl- sisl/MADRLStars: 756PythonBeta
- sisl/tufte_algorithms_bookStars: 408TeXAlpha
- sisl/BayesNets.jlStars: 229JuliaPrototype
- sisl/ngsim_envStars: 183Jupyter NotebookPrototype
- sisl/aa228-notebookStars: 146Jupyter NotebookPrototype
- sisl/MPOPISStars: 121JuliaPrototype
Nearby in Julia
All Julia repos- SciML/SciMLStyleStars: 236JuliaPrototype
- SciML/RecursiveArrayTools.jlStars: 234JuliaPrototype
- JuliaObjects/Accessors.jlStars: 234JuliaPrototype
- JuliaStrings/LaTeXStrings.jlStars: 233JuliaPrototype
- XiaojingGeorgeZhang/H-OBCAStars: 233JuliaPrototype