chasenorman on Hugging Face: downloads and rankings

chasenorman has 1 tracked models, downloaded 15 times in the last 30 days and 93 times in total; 8 datasets, downloaded 209 times in the last 30 days. chasenorman Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. chasenorman/lean-premise-distilroberta-GGUF 15 downloads, model

Datasets by downloads in the last 30 days

1. chasenorman/mathlib-cache 74 downloads
2. chasenorman/premises-mathlib-v4.30.0 29 downloads
3. chasenorman/subproofs-mathlib-v4.30.0 28 downloads
4. chasenorman/premises-mathlib-v4.31.0 25 downloads
5. chasenorman/rollout-premises-mathlib-v4.30.0 18 downloads
6. chasenorman/subproofs-mathlib-v4.29.0 16 downloads
7. chasenorman/subproofs-mathlib-v4.31.0 11 downloads
8. chasenorman/rollout-subproofs-mathlib-v4.30.0 8 downloads

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.