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

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

Most downloaded direct derivatives

• gabriellarson/Kimina-Prover-Distill-8B-GGUF (quantized), 1.7K downloads in 30 days
• mradermacher/Kimina-Prover-Distill-8B-i1-GGUF (quantized), 1.3K downloads in 30 days
• mradermacher/Kimina-Prover-Distill-8B-GGUF (quantized), 218 downloads in 30 days
• DevQuasar/AI-MO.Kimina-Prover-Distill-8B-GGUF (quantized), 184 downloads in 30 days
• tensorblock/AI-MO_Kimina-Prover-Distill-8B-GGUF (quantized), 160 downloads in 30 days
• TitiSkywalker/C2C-Kimina-Prover (finetune), 5 downloads in 30 days