AlphaPeu commune
Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
- Propriétaire
- Verified-Intelligence (organisation)
- Étoiles
- Étoiles : 406
- Forks
- Forks : 100
- Langage
- Python
- Licence
- Aucune
- Création
- 2021
- Sujets
- robustnessrobustness-verificationneural-networksadversarial-examplesadversarial-robustnessneural-network-verificationformal-verification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Verified-Intelligence
Les 2 dépôts de Verified-Intelligence- Verified-Intelligence/auto_LiRPAÉtoiles : 359PythonAlpha
D’autres dépôts Python
Tous les dépôts Python- hectorg2211/jarvisÉtoiles : 406PythonAlpha
- microsoft/quicksandÉtoiles : 406PythonAlpha
- hezhanleiok/freesubÉtoiles : 406PythonAlpha
- russss/HerdÉtoiles : 406PythonAlpha
- slush0/stratum-mining-proxyÉtoiles : 406PythonAlpha
- jaxbot/github-issues.vimÉtoiles : 406PythonAlpha