FrenzyMath on Hugging Face: downloads and rankings

FrenzyMath has 4 tracked models, downloaded 134 times in the last 30 days and 30,348 times in total; 7 datasets, downloaded 481 times in the last 30 days. FrenzyMath Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. FrenzyMath/Herald_translator 81 downloads, text generation
2. FrenzyMath/REAL-Prover 40 downloads, text generation
3. FrenzyMath/LeanSearch-PS 13 downloads, model
4. FrenzyMath/LeanSearch-PS-faiss 0 downloads, model

Datasets by downloads in the last 30 days

1. FrenzyMath/Herald_proofs 166 downloads
2. FrenzyMath/Herald_statements 103 downloads
3. FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl 75 downloads
4. FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs 47 downloads
5. FrenzyMath/mathlib_informal_v4.16.0 46 downloads
6. FrenzyMath/mathlib_informal_v4.19.0 28 downloads
7. FrenzyMath/state_tactic_pairs 16 downloads

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