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

6 models are built on AI-MO/Kimina-Prover-Distill-0.6B: 5 quantized, 1 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 5,433 times in the last 30 days.

Most downloaded direct derivatives

• prithivMLmods/Kimina-Prover-AI-MO-GGUF (quantized), 2.8K downloads in 30 days
• mradermacher/Kimina-Prover-Distill-0.6B-i1-GGUF (quantized), 557 downloads in 30 days
• mradermacher/Kimina-Prover-Distill-0.6B-GGUF (quantized), 234 downloads in 30 days
• AI-MO/Kimina-Prover-RL-0.6B (finetune), 47 downloads in 30 days