AlphaUncommon
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)
- Owner
- Verified-Intelligence (organization)
- Stars
- Stars: 406
- Forks
- Forks: 100
- Language
- Python
- License
- None
- Created
- 2021
- Topics
- robustnessrobustness-verificationneural-networksadversarial-examplesadversarial-robustnessneural-network-verificationformal-verification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Verified-Intelligence
All 2 repos by Verified-Intelligence- Verified-Intelligence/auto_LiRPAStars: 359PythonAlpha
Nearby in Python
All Python repos- hectorg2211/jarvisStars: 406PythonAlpha
- microsoft/quicksandStars: 406PythonAlpha
- hezhanleiok/freesubStars: 406PythonAlpha
- russss/HerdStars: 406PythonAlpha
- slush0/stratum-mining-proxyStars: 406PythonAlpha
- jaxbot/github-issues.vimStars: 406PythonAlpha