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)

Python

405

100

37 contributors

Custom license

Control what AI can do before it acts

Give Al Agents a Deeper Understanding of Your Codebase with a Code Graph

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Momentum

How fast Verified-Intelligence/alpha-beta-CROWN is gaining stars, and where it lands on Trendshift and GitHub Trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 7 – Oct 19, 2026

Stars +5 in 13 days

Forks +3 in 13 days

Merged PRs 0 in 13 days

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Oct 7Oct 9Oct 11Oct 13Oct 15Oct 17Oct 19

Stars, forks, merged pull requests and Trendshift Trending rank, by day
Day	Stars gained	Forks gained
Wed, Oct 7, 2026	+0	+1
Thu, Oct 8, 2026	+0	+0
Fri, Oct 9, 2026	+0	+0
Sat, Oct 10, 2026	+0	+0
Sun, Oct 11, 2026	+2	+1
Mon, Oct 12, 2026	+1	+1
Tue, Oct 13, 2026	+0	+0
Wed, Oct 14, 2026	+0	+0
Thu, Oct 15, 2026	+0	+0
Fri, Oct 16, 2026	+0	+0
Sat, Oct 17, 2026	+0	+0
Sun, Oct 18, 2026	+2	+0
Mon, Oct 19, 2026	+0	+0
Total	+5	+3