https://github.com/Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
https://github.com/Verified-Intelligence/alpha-beta-CROWN
adversarial-examples adversarial-robustness neural-network-verification neural-networks robustness robustness-verification
Last synced: 13 days ago
JSON representation
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
- Host: GitHub
- URL: https://github.com/Verified-Intelligence/alpha-beta-CROWN
- Owner: Verified-Intelligence
- License: other
- Created: 2021-06-29T04:26:31.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2024-04-13T06:30:19.000Z (about 2 years ago)
- Last Synced: 2024-04-13T20:54:40.323Z (about 2 years ago)
- Topics: adversarial-examples, adversarial-robustness, neural-network-verification, neural-networks, robustness, robustness-verification
- Language: Python
- Homepage:
- Size: 70.4 MB
- Stars: 202
- Watchers: 14
- Forks: 46
- Open Issues: 18
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-ai-safety - α,β-CROWN - GPU-accelerated neural network verifier using bound propagation and branch-and-bound. Multi-year VNN-COMP winner. (Formal Verification & Robustness / Neural Network Verifiers)