# sisl/NeuralVerification.jl

<https://repo.masters-masters.com/en/repos/sisl/NeuralVerification.jl>

[Home](https://repo.masters-masters.com/en) › [sisl](https://repo.masters-masters.com/en/owners/sisl) › [NeuralVerification.jl](https://repo.masters-masters.com/en/repos/sisl/NeuralVerification.jl)

sisl/NeuralVerification.jl has 234 stars on GitHub. Its RepoMasters card: Prototype tier. Methods to soundly verify deep neural networks Language: Julia.

| Field | Value |
| --- | --- |
| Owner | [sisl](https://repo.masters-masters.com/en/owners/sisl) |
| Stars | 234 |
| Forks | 50 |
| Language | [Julia](https://repo.masters-masters.com/en/languages/julia) |
| License | MIT |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [sisl/NeuralVerification.jl](https://github.com/sisl/NeuralVerification.jl) |

## Repository

Methods to soundly verify deep neural networks

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by sisl

- [sisl/MADRL · ★ 756 · Python · Beta](https://repo.masters-masters.com/en/repos/sisl/MADRL)
- [sisl/tufte\_algorithms\_book · ★ 408 · TeX · Alpha](https://repo.masters-masters.com/en/repos/sisl/tufte_algorithms_book)
- [sisl/BayesNets.jl · ★ 229 · Julia · Prototype](https://repo.masters-masters.com/en/repos/sisl/BayesNets.jl)
- [sisl/ngsim\_env · ★ 183 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/sisl/ngsim_env)
- [sisl/aa228-notebook · ★ 146 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/sisl/aa228-notebook)
- [sisl/MPOPIS · ★ 121 · Julia · Prototype](https://repo.masters-masters.com/en/repos/sisl/MPOPIS)

## Nearby in Julia

- [SciML/SciMLStyle · ★ 236 · Julia · Prototype](https://repo.masters-masters.com/en/repos/SciML/SciMLStyle)
- [SciML/RecursiveArrayTools.jl · ★ 234 · Julia · Prototype](https://repo.masters-masters.com/en/repos/SciML/RecursiveArrayTools.jl)
- [JuliaObjects/Accessors.jl · ★ 234 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaObjects/Accessors.jl)
- [JuliaStrings/LaTeXStrings.jl · ★ 233 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaStrings/LaTeXStrings.jl)
- [XiaojingGeorgeZhang/H-OBCA · ★ 233 · Julia · Prototype](https://repo.masters-masters.com/en/repos/XiaojingGeorgeZhang/H-OBCA)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.