commit 63b2b4a15095b57a3617c457fa54e00099ea27c9 Author: ModelHub XC Date: Mon Aug 10 20:21:14 2026 +0800 初始化项目，由ModelHub XC社区提供模型 Model: prithivMLmods/Kimina-Prover-Distill-1.7B-F32-GGUF Source: Original Platform diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..e0e3c1f --- /dev/null +++ b/.gitattributes @@ -0,0 +1,48 @@ +*.7z filter=lfs diff=lfs merge=lfs -text +*.arrow filter=lfs diff=lfs merge=lfs -text +*.bin filter=lfs diff=lfs merge=lfs -text +*.bz2 filter=lfs diff=lfs merge=lfs -text +*.ckpt filter=lfs diff=lfs merge=lfs -text +*.ftz filter=lfs diff=lfs merge=lfs -text +*.gz filter=lfs diff=lfs merge=lfs -text +*.h5 filter=lfs diff=lfs merge=lfs -text +*.joblib filter=lfs diff=lfs merge=lfs -text +*.lfs.* filter=lfs diff=lfs merge=lfs -text +*.mlmodel filter=lfs diff=lfs merge=lfs -text +*.model filter=lfs diff=lfs merge=lfs -text +*.msgpack filter=lfs diff=lfs merge=lfs -text +*.npy filter=lfs diff=lfs merge=lfs -text +*.npz filter=lfs diff=lfs merge=lfs -text +*.onnx filter=lfs diff=lfs merge=lfs -text +*.ot filter=lfs diff=lfs merge=lfs -text +*.parquet filter=lfs diff=lfs merge=lfs -text +*.pb filter=lfs diff=lfs merge=lfs -text +*.pickle filter=lfs diff=lfs merge=lfs -text +*.pkl filter=lfs diff=lfs merge=lfs -text +*.pt filter=lfs diff=lfs merge=lfs -text +*.pth filter=lfs diff=lfs merge=lfs -text +*.rar filter=lfs diff=lfs merge=lfs -text +*.safetensors filter=lfs diff=lfs merge=lfs -text +saved_model/**/* filter=lfs diff=lfs merge=lfs -text +*.tar.* filter=lfs diff=lfs merge=lfs -text +*.tar filter=lfs diff=lfs merge=lfs -text +*.tflite filter=lfs diff=lfs merge=lfs -text +*.tgz filter=lfs diff=lfs merge=lfs -text +*.wasm filter=lfs diff=lfs merge=lfs -text +*.xz filter=lfs diff=lfs merge=lfs -text +*.zip filter=lfs diff=lfs merge=lfs -text +*.zst filter=lfs diff=lfs merge=lfs -text +*tfevents* filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.BF16.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.F16.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.F32.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-Distill-1.7B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text diff --git a/Kimina-Prover-Distill-1.7B.BF16.gguf b/Kimina-Prover-Distill-1.7B.BF16.gguf new file mode 100644 index 0000000..99fb689 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.BF16.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:33a0ee80d377c3dfb6ca541b91706583f21351e3f3d4c9459db414488041bd02 +size 3447348864 diff --git a/Kimina-Prover-Distill-1.7B.F16.gguf b/Kimina-Prover-Distill-1.7B.F16.gguf new file mode 100644 index 0000000..be63100 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.F16.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7378820a851117ab7a312ab6952775bb136b3a8873d71b271bf57fb919a2ad98 +size 3447348864 diff --git a/Kimina-Prover-Distill-1.7B.F32.gguf b/Kimina-Prover-Distill-1.7B.F32.gguf new file mode 100644 index 0000000..4fcd29f --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.F32.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1a3d6fa3b540e1303ce21e1cd73a8e714e3a94ea20b17cfc364220504a075338 +size 6888251008 diff --git a/Kimina-Prover-Distill-1.7B.Q2_K.gguf b/Kimina-Prover-Distill-1.7B.Q2_K.gguf new file mode 100644 index 0000000..f36bea0 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q2_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a406db318ea604f7f1dbf6fb0a28bad56408b5a8d26d4d266bf6d1af40722dc2 +size 777795200 diff --git a/Kimina-Prover-Distill-1.7B.Q3_K_L.gguf b/Kimina-Prover-Distill-1.7B.Q3_K_L.gguf new file mode 100644 index 0000000..ec5df87 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q3_K_L.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:edcc80ca6c15507df556f07c1a6cd490ea3a61540d036dda7acb931fd7c8ea72 +size 1003501184 diff --git a/Kimina-Prover-Distill-1.7B.Q3_K_M.gguf b/Kimina-Prover-Distill-1.7B.Q3_K_M.gguf new file mode 100644 index 0000000..abb0176 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q3_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:490dd086e6cc41a647b5e96491945ebe9b5d6721f9c550c2177b14567ec763c0 +size 939538048 diff --git a/Kimina-Prover-Distill-1.7B.Q3_K_S.gguf b/Kimina-Prover-Distill-1.7B.Q3_K_S.gguf new file mode 100644 index 0000000..663281c --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q3_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f440c03be5e2b733415d8fc8120dc94d5da1b5f4663edcb9d6983398821fa7a0 +size 867251840 diff --git a/Kimina-Prover-Distill-1.7B.Q4_K_M.gguf b/Kimina-Prover-Distill-1.7B.Q4_K_M.gguf new file mode 100644 index 0000000..e8fabef --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q4_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9f0d840db28f89ace4f51d26852b0389fb181d24596e79209f45538d88e7559c +size 1107408512 diff --git a/Kimina-Prover-Distill-1.7B.Q4_K_S.gguf b/Kimina-Prover-Distill-1.7B.Q4_K_S.gguf new file mode 100644 index 0000000..2fb3e73 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q4_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1c010b23491ce10f5865874deab085ed34a49dd857919d46fddb106cee339099 +size 1060189824 diff --git a/Kimina-Prover-Distill-1.7B.Q5_K_M.gguf b/Kimina-Prover-Distill-1.7B.Q5_K_M.gguf new file mode 100644 index 0000000..aee3389 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q5_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:046628ed9c0e348b1cc3aec2384c0ad84efa7a988a0a9aaaa1308f33c1a1c3b1 +size 1257879168 diff --git a/Kimina-Prover-Distill-1.7B.Q5_K_S.gguf b/Kimina-Prover-Distill-1.7B.Q5_K_S.gguf new file mode 100644 index 0000000..f0fa905 --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q5_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d6662e1f95e751fae15f6a1316a43c731e5658213282f4624b32ea7d737882f6 +size 1230583424 diff --git a/Kimina-Prover-Distill-1.7B.Q6_K.gguf b/Kimina-Prover-Distill-1.7B.Q6_K.gguf new file mode 100644 index 0000000..92fbb5a --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q6_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3f0377ab13f598c8574941afe96dbbd231e40e9226d4f83755d971c0505a06c4 +size 1417754240 diff --git a/Kimina-Prover-Distill-1.7B.Q8_0.gguf b/Kimina-Prover-Distill-1.7B.Q8_0.gguf new file mode 100644 index 0000000..46b0bda --- /dev/null +++ b/Kimina-Prover-Distill-1.7B.Q8_0.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:40477e985cc29efc484a7cd805519cf108a9d6801515e9ccc5036df662b97355 +size 1834425984 diff --git a/README.md b/README.md new file mode 100644 index 0000000..d59cd62 --- /dev/null +++ b/README.md @@ -0,0 +1,46 @@ +--- +license: mit +language: +- en +base_model: +- AI-MO/Kimina-Prover-Distill-1.7B +pipeline_tag: text-generation +library_name: transformers +tags: +- text-generation-inference +- math +--- + +# **Kimina-Prover-Distill-1.7B-F32-GGUF** + +> AI-MO/Kimina-Prover-Distill-1.7B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4. It is a distillation of Kimina-Prover-72B, a model trained via large scale reinforcement learning. It achieves 72.95% accuracy with Pass@32 on MiniF2F-test. + +## Model Files + +| File Name | Size | Format | +|-----------|------|--------| +| Kimina-Prover-Distill-1.7B.gitattributes | 2.48 kB | Git attributes | +| Kimina-Prover-Distill-1.7B.BF16.gguf | 3.45 GB | GGUF BF16 | +| Kimina-Prover-Distill-1.7B.F16.gguf | 3.45 GB | GGUF F16 | +| Kimina-Prover-Distill-1.7B.F32.gguf | 6.89 GB | GGUF F32 | +| Kimina-Prover-Distill-1.7B.Q2_K.gguf | 778 MB | GGUF Q2_K | +| Kimina-Prover-Distill-1.7B.Q3_K_L.gguf | 1 GB | GGUF Q3_K_L | +| Kimina-Prover-Distill-1.7B.Q3_K_M.gguf | 940 MB | GGUF Q3_K_M | +| Kimina-Prover-Distill-1.7B.Q3_K_S.gguf | 867 MB | GGUF Q3_K_S | +| Kimina-Prover-Distill-1.7B.Q4_K_M.gguf | 1.11 GB | GGUF Q4_K_M | +| Kimina-Prover-Distill-1.7B.Q4_K_S.gguf | 1.06 GB | GGUF Q4_K_S | +| Kimina-Prover-Distill-1.7B.Q5_K_M.gguf | 1.26 GB | GGUF Q5_K_M | +| Kimina-Prover-Distill-1.7B.Q5_K_S.gguf | 1.23 GB | GGUF Q5_K_S | +| Kimina-Prover-Distill-1.7B.Q6_K.gguf | 1.42 GB | GGUF Q6_K | +| Kimina-Prover-Distill-1.7B.Q8_0.gguf | 1.83 GB | GGUF Q8_0 | +| README.md | 180 Bytes | Markdown | +| config.json | 29 Bytes | JSON | + +## 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): + +![image.png](https://www.nethype.de/huggingface_embed/quantpplgraph.png) \ No newline at end of file diff --git a/config.json b/config.json new file mode 100644 index 0000000..5d0c447 --- /dev/null +++ b/config.json @@ -0,0 +1,3 @@ +{ + "model_type": "qwen3" +} \ No newline at end of file diff --git a/configuration.json b/configuration.json new file mode 100644 index 0000000..bbeeda1 --- /dev/null +++ b/configuration.json @@ -0,0 +1 @@ +{"framework": "pytorch", "task": "text-generation", "allow_remote": true} \ No newline at end of file