Kimina-Prover-AI-MO-GGUF

The Kimina-Prover model family—comprising Kimina-Prover-Distill-0.6B, Kimina-Prover-RL-0.6B, Kimina-Prover-Distill-1.7B, and Kimina-Prover-RL-1.7B—are advanced theorem-proving language models developed by Project Numina and Kimi teams for rigorous, competition-style mathematical reasoning in Lean 4. The "Distill" variants (0.6B and 1.7B) are distilled from the much larger Kimina-Prover-72B, leveraging large-scale reinforcement learning to efficiently capture high performance in a smaller size: for example, Distill-0.6B achieves 68.85% Pass@32 on MiniF2F-test, while Distill-1.7B reaches 72.95%. The "RL" versions are fine-tuned further by reinforcement learning for enhanced reasoning ability, with RL-0.6B improving to 71.3% Pass@32 and RL-1.7B attaining up to 76.63% Pass@32, making these models state-of-the-art for formal theorem proving tasks.

Kimina-Prover model family (GGUF Format)

Model Name	Link (model dir./)
Kimina-Prover-Distill-0.6B-GGUF	HF Repo↗
Kimina-Prover-RL-0.6B-GGUF	HF Repo↗
Kimina-Prover-Distill-1.7B-GGUF	HF Repo↗
Kimina-Prover-RL-1.7B-GGUF	HF Repo↗
Kimina-Prover-Distill-8B-GGUF	HF Repo↗

---

Model Files

Kimina-Prover-Distill-0.6B

File Name	Quant Type	File Size
Kimina-Prover-Distill-0.6B.BF16.gguf	BF16	1.2 GB
Kimina-Prover-Distill-0.6B.F16.gguf	F16	1.2 GB
Kimina-Prover-Distill-0.6B.F32.gguf	F32	2.39 GB
Kimina-Prover-Distill-0.6B.Q2_K.gguf	Q2_K	296 MB
Kimina-Prover-Distill-0.6B.Q3_K_L.gguf	Q3_K_L	368 MB
Kimina-Prover-Distill-0.6B.Q3_K_M.gguf	Q3_K_M	347 MB
Kimina-Prover-Distill-0.6B.Q3_K_S.gguf	Q3_K_S	323 MB
Kimina-Prover-Distill-0.6B.Q4_0.gguf	Q4_0	382 MB
Kimina-Prover-Distill-0.6B.Q4_1.gguf	Q4_1	409 MB
Kimina-Prover-Distill-0.6B.Q4_K.gguf	Q4_K	397 MB
Kimina-Prover-Distill-0.6B.Q4_K_M.gguf	Q4_K_M	397 MB
Kimina-Prover-Distill-0.6B.Q4_K_S.gguf	Q4_K_S	383 MB
Kimina-Prover-Distill-0.6B.Q5_0.gguf	Q5_0	437 MB
Kimina-Prover-Distill-0.6B.Q5_1.gguf	Q5_1	464 MB
Kimina-Prover-Distill-0.6B.Q5_K.gguf	Q5_K	444 MB
Kimina-Prover-Distill-0.6B.Q5_K_M.gguf	Q5_K_M	444 MB
Kimina-Prover-Distill-0.6B.Q5_K_S.gguf	Q5_K_S	437 MB
Kimina-Prover-Distill-0.6B.Q6_K.gguf	Q6_K	495 MB
Kimina-Prover-Distill-0.6B.Q8_0.gguf	Q8_0	639 MB

Kimina-Prover-Distill-1.7B

File Name	Quant Type	File Size
Kimina-Prover-Distill-1.7B.BF16.gguf	BF16	3.45 GB
Kimina-Prover-Distill-1.7B.F16.gguf	F16	3.45 GB
Kimina-Prover-Distill-1.7B.F32.gguf	F32	6.89 GB
Kimina-Prover-Distill-1.7B.Q2_K.gguf	Q2_K	778 MB
Kimina-Prover-Distill-1.7B.Q3_K_L.gguf	Q3_K_L	1 GB
Kimina-Prover-Distill-1.7B.Q3_K_M.gguf	Q3_K_M	940 MB
Kimina-Prover-Distill-1.7B.Q3_K_S.gguf	Q3_K_S	867 MB
Kimina-Prover-Distill-1.7B.Q4_0.gguf	Q4_0	1.05 GB
Kimina-Prover-Distill-1.7B.Q4_1.gguf	Q4_1	1.14 GB
Kimina-Prover-Distill-1.7B.Q4_K.gguf	Q4_K	1.11 GB
Kimina-Prover-Distill-1.7B.Q4_K_M.gguf	Q4_K_M	1.11 GB
Kimina-Prover-Distill-1.7B.Q4_K_S.gguf	Q4_K_S	1.06 GB
Kimina-Prover-Distill-1.7B.Q5_0.gguf	Q5_0	1.23 GB
Kimina-Prover-Distill-1.7B.Q5_1.gguf	Q5_1	1.32 GB
Kimina-Prover-Distill-1.7B.Q5_K.gguf	Q5_K	1.26 GB
Kimina-Prover-Distill-1.7B.Q5_K_M.gguf	Q5_K_M	1.26 GB
Kimina-Prover-Distill-1.7B.Q5_K_S.gguf	Q5_K_S	1.23 GB
Kimina-Prover-Distill-1.7B.Q6_K.gguf	Q6_K	1.42 GB
Kimina-Prover-Distill-1.7B.Q8_0.gguf	Q8_0	1.83 GB

---

Kimina-Prover-RL-0.6B

File Name	Quant Type	File Size
Kimina-Prover-RL-0.6B.BF16.gguf	BF16	1.2 GB
Kimina-Prover-RL-0.6B.F16.gguf	F16	1.2 GB
Kimina-Prover-RL-0.6B.F32.gguf	F32	2.39 GB
Kimina-Prover-RL-0.6B.Q2_K.gguf	Q2_K	296 MB
Kimina-Prover-RL-0.6B.Q3_K_L.gguf	Q3_K_L	368 MB
Kimina-Prover-RL-0.6B.Q3_K_M.gguf	Q3_K_M	347 MB
Kimina-Prover-RL-0.6B.Q3_K_S.gguf	Q3_K_S	323 MB
Kimina-Prover-RL-0.6B.Q4_0.gguf	Q4_0	382 MB
Kimina-Prover-RL-0.6B.Q4_1.gguf	Q4_1	409 MB
Kimina-Prover-RL-0.6B.Q4_K.gguf	Q4_K	397 MB
Kimina-Prover-RL-0.6B.Q4_K_M.gguf	Q4_K_M	397 MB
Kimina-Prover-RL-0.6B.Q4_K_S.gguf	Q4_K_S	383 MB
Kimina-Prover-RL-0.6B.Q5_0.gguf	Q5_0	437 MB
Kimina-Prover-RL-0.6B.Q5_1.gguf	Q5_1	464 MB
Kimina-Prover-RL-0.6B.Q5_K.gguf	Q5_K	444 MB
Kimina-Prover-RL-0.6B.Q5_K_M.gguf	Q5_K_M	444 MB
Kimina-Prover-RL-0.6B.Q5_K_S.gguf	Q5_K_S	437 MB
Kimina-Prover-RL-0.6B.Q6_K.gguf	Q6_K	495 MB
Kimina-Prover-RL-0.6B.Q8_0.gguf	Q8_0	639 MB

Kimina-Prover-RL-1.7B

File Name	Quant Type	File Size
Kimina-Prover-RL-1.7B.BF16.gguf	BF16	3.45 GB
Kimina-Prover-RL-1.7B.F16.gguf	F16	3.45 GB
Kimina-Prover-RL-1.7B.F32.gguf	F32	6.89 GB
Kimina-Prover-RL-1.7B.Q2_K.gguf	Q2_K	778 MB
Kimina-Prover-RL-1.7B.Q3_K_L.gguf	Q3_K_L	1 GB
Kimina-Prover-RL-1.7B.Q3_K_M.gguf	Q3_K_M	940 MB
Kimina-Prover-RL-1.7B.Q3_K_S.gguf	Q3_K_S	867 MB
Kimina-Prover-RL-1.7B.Q4_0.gguf	Q4_0	1.05 GB
Kimina-Prover-RL-1.7B.Q4_1.gguf	Q4_1	1.14 GB
Kimina-Prover-RL-1.7B.Q4_K.gguf	Q4_K	1.11 GB
Kimina-Prover-RL-1.7B.Q4_K_M.gguf	Q4_K_M	1.11 GB
Kimina-Prover-RL-1.7B.Q4_K_S.gguf	Q4_K_S	1.06 GB
Kimina-Prover-RL-1.7B.Q5_0.gguf	Q5_0	1.23 GB
Kimina-Prover-RL-1.7B.Q5_1.gguf	Q5_1	1.32 GB
Kimina-Prover-RL-1.7B.Q5_K.gguf	Q5_K	1.26 GB
Kimina-Prover-RL-1.7B.Q5_K_M.gguf	Q5_K_M	1.26 GB
Kimina-Prover-RL-1.7B.Q5_K_S.gguf	Q5_K_S	1.23 GB
Kimina-Prover-RL-1.7B.Q6_K.gguf	Q6_K	1.42 GB
Kimina-Prover-RL-1.7B.Q8_0.gguf	Q8_0	1.83 GB

Kimina-Prover-Distill-8B

File Name	Quant Type	File Size
Kimina-Prover-Distill-8B.BF16.gguf	BF16	16.4 GB
Kimina-Prover-Distill-8B.F16.gguf	F16	16.4 GB
Kimina-Prover-Distill-8B.Q2_K.gguf	Q2_K	3.28 GB
Kimina-Prover-Distill-8B.Q4_K_M.gguf	Q4_K_M	5.03 GB
Kimina-Prover-Distill-8B.Q4_K_S.gguf	Q4_K_S	4.8 GB

---

Quants Usage

(sorted by size, not necessarily quality. IQ-quants are often preferable over similar sized non-IQ quants)

Here is a handy graph by ikawrakow comparing some lower-quality quant types (lower is better):