AI-secure / VeriGauge

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

Date Created 2020-03-15 (4 years ago)

Commits 29 (last one 2 years ago)

Stargazers 88 (0 this week)

Watchers 6 (0 this week)

Forks 7

License unknown

Ranking

RepositoryStats indexes 595,856 repositories, of these AI-secure/VeriGauge is ranked #320,775 (46th percentile) for total stargazers, and #300,666 for total watchers. Github reports the primary language for this repository as C, for repositories using this language it is ranked #12,982/22,194.

AI-secure/VeriGauge is also tagged with popular topics, for these it's ranked: deep-learning (#5,392/8512)

Other Information

AI-secure/VeriGauge has 4 open pull requests on Github, 1 pull request has been merged over the lifetime of the repository.

Github issues are enabled, there are 3 open issues and 1 closed issue.

All Topics

robustness verfication deep-learning

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

2 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

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

updated: 2024-11-13 @ 11:25am, id: 247386764 / R_kgDODr7SjA