Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Verified-Intelligence
Verified-Intelligence
Date Created 2021-06-29 (3 years ago)
Commits 41 (last one about a month ago)
Stargazers 268 (1 this week)
Watchers 13 (0 this week)
Forks 67
License other
Ranking

RepositoryStats indexes 622,366 repositories, of these Verified-Intelligence/alpha-beta-CROWN is ranked #150,426 (76th percentile) for total stargazers, and #168,523 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #26,580/126,222.

Verified-Intelligence/alpha-beta-CROWN is also tagged with popular topics, for these it's ranked: neural-networks (#295/749)

Other Information

Verified-Intelligence/alpha-beta-CROWN has Github issues enabled, there are 25 open issues and 58 closed issues.

Star History

Github stargazers over time

30030025025020020015015010010050500020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

1515141413131212111110109988776620232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

28 commits on the default branch (main) since jan '22

303025252020151510105500Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

1414121210108866442200202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
9090808070706060505040403030202010100020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Python but there's also others...

PythonPythonC++C++ShellShellMakefileMakefile

updated: 2025-03-02 @ 12:21pm, id: 381238015 / R_kgDOFrk6_w