# sisl/NeuralVerification.jl

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

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

sisl/NeuralVerification.jl, dépôt open source à 234 étoiles sur GitHub. Carte Prototype de RepoMasters. Methods to soundly verify deep neural networks

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sisl](https://repo.masters-masters.com/owners/sisl) |
| Étoiles | 234 |
| Forks | 50 |
| Langage | [Julia](https://repo.masters-masters.com/languages/julia) |
| Licence | MIT |
| Création | 2018 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [sisl/NeuralVerification.jl](https://github.com/sisl/NeuralVerification.jl) |

## Fiche du dépôt

Methods to soundly verify deep neural networks

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de sisl

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

## D’autres dépôts Julia

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.