# Verified-Intelligence/alpha-beta-CROWN

<https://repo.masters-masters.com/repos/Verified-Intelligence/alpha-beta-CROWN>

[Accueil](https://repo.masters-masters.com/) › [Verified-Intelligence](https://repo.masters-masters.com/owners/Verified-Intelligence) › [alpha-beta-CROWN](https://repo.masters-masters.com/repos/Verified-Intelligence/alpha-beta-CROWN)

Verified-Intelligence/alpha-beta-CROWN, dépôt open source à 407 étoiles sur GitHub. Carte Alpha de RepoMasters. alpha-beta-CROWN: An Efficient, Scalable and…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Verified-Intelligence](https://repo.masters-masters.com/owners/Verified-Intelligence) |
| Étoiles | 407 |
| Forks | 100 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2021 |
| Sujets | robustness, robustness-verification, neural-networks, adversarial-examples, adversarial-robustness, neural-network-verification, formal-verification |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [Verified-Intelligence/alpha-beta-CROWN](https://github.com/Verified-Intelligence/alpha-beta-CROWN) |

## Fiche du dépôt

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de Verified-Intelligence

- [Verified-Intelligence/auto\_LiRPA · ★ 359 · Python · Alpha](https://repo.masters-masters.com/repos/Verified-Intelligence/auto_LiRPA)

## D’autres dépôts Python

- [Liquid4All/antidoom · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/Liquid4All/antidoom)
- [typesafe-ai/system-one-adapter-python · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/typesafe-ai/system-one-adapter-python)
- [hezhanleiok/freesub · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/hezhanleiok/freesub)
- [abidrahmank/OpenCV2-Python · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/abidrahmank/OpenCV2-Python)
- [grow/grow · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/grow/grow)
- [bradmontgomery/django-querycount · ★ 407 · Python · Alpha](https://repo.masters-masters.com/repos/bradmontgomery/django-querycount)

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