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)