Verified-Intelligence / auto_LiRPA

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

Date Created 2020-03-02 (4 years ago)
Commits 26 (last one 15 days ago)
Stargazers 292 (0 this week)
Watchers 7 (0 this week)
Forks 80
License other
Ranking

RepositoryStats indexes 610,149 repositories, of these Verified-Intelligence/auto_LiRPA is ranked #139,472 (77th percentile) for total stargazers, and #272,747 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #24,331/123,095.

Other Information

Verified-Intelligence/auto_LiRPA has Github issues enabled, there are 12 open issues and 74 closed issues.

There have been 1 release, the latest one was published on 2022-09-15 (2 years ago) with the name September 2022 release.

Homepage URL: https://arxiv.org/pdf/2002.12920

Star History

Github stargazers over time

300300250250200200150150100100505000Jul '20Jul '2020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

8888887.57.577777720232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (master) per year

776655443322110020202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
90908080707060605050404030302020101000Jul '20Jul '2020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

PythonPythonCudaCudaC++C++

updated: 2025-01-30 @ 01:38am, id: 244249648 / R_kgDODo70MA