The AI-MO/Kimina-Prover-72B galaxy

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

Most downloaded direct derivatives

• mradermacher/Kimina-Prover-72B-i1-GGUF (quantized), 1K downloads in 30 days
• gabriellarson/Kimina-Prover-72B-GGUF (quantized), 619 downloads in 30 days
• DevQuasar/AI-MO.Kimina-Prover-72B-GGUF (quantized), 232 downloads in 30 days
• mradermacher/Kimina-Prover-72B-GGUF (quantized), 93 downloads in 30 days

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