Thinklab-SJTU/
Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
by Thinklab (SJTU & SII) Python MIT licence 4 forks Created May 2023 View on GitHub
- Stars
- 94
- 1% of Thinklab-SJTU's stars
- Rank
- #508,112
- of 847,188 repos, top 60%
- In Python
- #101,722
- of 172,244 repos, top 60%
Among 847,188 repos
63–100 stars: 216,339 repos, including LinSATNet
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #504,013
- Next milestone
- +25 stars to reach the top 50%
- Yearly average
- 27 stars a year since May 2023