The AI-MO/Kimina-Prover-Distill-1.7B galaxy

11 models are built on AI-MO/Kimina-Prover-Distill-1.7B: 9 quantized, 2 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 5,267 times in the last 30 days.

Most downloaded direct 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