The AI-MO/Kimina-Prover-Preview-Distill-7B galaxy

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

Most downloaded direct derivatives

• DevQuasar/AI-MO.Kimina-Prover-Preview-Distill-7B-GGUF (quantized), 544 downloads in 30 days
• mradermacher/Kimina-Prover-Preview-Distill-7B-GGUF (quantized), 287 downloads in 30 days
• Io2007/TBPMM (merge), 11 downloads in 30 days
• vincentoh/kimina-prover-rrma-sft (adapter), 11 downloads in 30 days

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