AI-MO/Kimina-Prover-Distill-1.7B download history
AI-MO/Kimina-Prover-Distill-1.7B is a 2.0B-parameter text generation model by AI-MO. In the last 30 days it was downloaded 942 times (199 in the last 7 days), and 108,096 times in total.
It ranks #41,144 on the Hub by monthly downloads and #10,189 among text generation models.
It has 7 likes.
It is a fine-tune of Qwen/Qwen3-1.7B.
11 models build on Kimina-Prover-Distill-1.7B: 9 quantized, 2 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 5,267 times in the last 30 days. See the Kimina-Prover-Distill-1.7B galaxy.
Most downloaded derivatives
- mradermacher/Kimina-Prover-Distill-1.7B-i1-GGUF (quantized), 770 downloads in 30 days
- prithivMLmods/Kimina-Prover-Distill-1.7B-F32-GGUF (quantized), 484 downloads in 30 days
- gabriellarson/Kimina-Prover-Distill-1.7B-GGUF (quantized), 441 downloads in 30 days
- DevQuasar/AI-MO.Kimina-Prover-Distill-1.7B-GGUF (quantized), 387 downloads in 30 days
- AI-MO/Kimina-Prover-RL-1.7B (finetune), 334 downloads in 30 days
- anonymous-submission-ICLR2027/Gobble-Prover-1.7B (finetune), 297 downloads in 30 days
- mradermacher/Kimina-Prover-Distill-1.7B-GGUF (quantized), 240 downloads in 30 days
- tensorblock/AI-MO_Kimina-Prover-Distill-1.7B-GGUF (quantized), 74 downloads in 30 days