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

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

Most downloaded direct derivatives

• mradermacher/Kimina-Prover-RL-0.6B-i1-GGUF (quantized), 733 downloads in 30 days
• mradermacher/Kimina-Prover-RL-0.6B-GGUF (quantized), 247 downloads in 30 days