eth-sri/
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a...
by SRI Lab, ETH Zurich Python MIT licence 15 forks Created May 2019 View on GitHub
- Stars
- 87
- 1% of eth-sri's stars
- Rank
- #542,848
- of 852,369 repos, top 64%
- In Python
- #109,036
- of 173,292 repos, top 63%
Among 852,369 repos
63–100 stars: 217,645 repos, including dl2
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 #538,005
- Next milestone
- +7 stars to reach the top 60%
- Yearly average
- 12 stars a year since May 2019