ANTPG on Hugging Face: downloads and rankings

ANTPG has 8 tracked models, downloaded 151 times in the last 30 days and 412 times in total; 4 datasets, downloaded 491 times in the last 30 days. ANTPG Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. ANTPG/deepseek-prover-minilang-no-SH 25 downloads, text generation
2. ANTPG/deepseek-prover-isar 24 downloads, text generation
3. ANTPG/deepseek-prover-isar-SH 21 downloads, text generation
4. ANTPG/deepseek-prover-minilang 20 downloads, text generation
5. ANTPG/llemma-isar-SH 19 downloads, text generation
6. ANTPG/llemma-minilang-no-SH 16 downloads, text generation
7. ANTPG/llemma-isar 14 downloads, text generation
8. ANTPG/llemma-minilang 12 downloads, text generation

Datasets by downloads in the last 30 days

1. ANTPG/premise_selection 343 downloads
2. ANTPG/MLML-data 88 downloads
3. ANTPG/annotated-isabelle 39 downloads
4. ANTPG/Minilang-AFP-v1 21 downloads

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