commit a14aa102bc9eb7bfccf4c7b4b918acfc15a86ce3 Author: ModelHub XC Date: Tue Sep 29 13:45:18 2026 +0800 初始化项目，由ModelHub XC社区提供模型 Model: mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF Source: Original Platform diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..e25445b --- /dev/null +++ b/.gitattributes @@ -0,0 +1,60 @@ +*.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-RL-1.7B.imatrix.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ1_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ1_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ2_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ2_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ2_XS.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ2_XXS.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ3_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ3_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ3_XS.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ3_XXS.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ4_NL.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-IQ4_XS.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q2_K.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q2_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q4_0.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q4_1.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Kimina-Prover-RL-1.7B.i1-Q6_K.gguf filter=lfs diff=lfs merge=lfs -text diff --git a/Kimina-Prover-RL-1.7B.i1-IQ1_M.gguf b/Kimina-Prover-RL-1.7B.i1-IQ1_M.gguf new file mode 100644 index 0000000..19a284f --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ1_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8b765918d70f91a4ef710b7ec35a1d849d14abf73d38f039a300785a49287728 +size 645894880 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ1_S.gguf b/Kimina-Prover-RL-1.7B.i1-IQ1_S.gguf new file mode 100644 index 0000000..7787bd3 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ1_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:073ca2b95972d60179fcfb697a2a17c9dad341499d3b08ba581b50a74a819132 +size 617878240 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ2_M.gguf b/Kimina-Prover-RL-1.7B.i1-IQ2_M.gguf new file mode 100644 index 0000000..d2f37bc --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ2_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:33408d43fe66f4694835856c56dfd95ff44895565a38597f9c6582b748ac5c12 +size 828885728 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ2_S.gguf b/Kimina-Prover-RL-1.7B.i1-IQ2_S.gguf new file mode 100644 index 0000000..f2d597f --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ2_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d4c390372e6dc4c53cf146b13315198df868fdeb8c98d1ef50216da369423939 +size 791530208 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ2_XS.gguf b/Kimina-Prover-RL-1.7B.i1-IQ2_XS.gguf new file mode 100644 index 0000000..53c01ba --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ2_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:909a765f76ab766c6c826f699a099e021fa7dce77fd657d09046da276bdcac6d +size 733614816 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ2_XXS.gguf b/Kimina-Prover-RL-1.7B.i1-IQ2_XXS.gguf new file mode 100644 index 0000000..ca33239 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ2_XXS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2202e498841c5f8006865f4a7c53ff79a5109d03817bf7d0d3ef8bd9ebf19c4f +size 692589280 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ3_M.gguf b/Kimina-Prover-RL-1.7B.i1-IQ3_M.gguf new file mode 100644 index 0000000..d7e71c7 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ3_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d7b70bb952751b3a688a42c79b1c4c0b49d22218725d74061c871241a7b9a043 +size 1029366496 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ3_S.gguf b/Kimina-Prover-RL-1.7B.i1-IQ3_S.gguf new file mode 100644 index 0000000..60a6acd --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ3_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:29e6e424cb31b5306723987ec816fb0e78a102cf75f6f8a6df2ceb966c0332a8 +size 1000956640 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ3_XS.gguf b/Kimina-Prover-RL-1.7B.i1-IQ3_XS.gguf new file mode 100644 index 0000000..3fee619 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ3_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9041480f0835e58a018fa8f2f06995cbbecad3f6c01abf8896d79ff9dd29f004 +size 967926496 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ3_XXS.gguf b/Kimina-Prover-RL-1.7B.i1-IQ3_XXS.gguf new file mode 100644 index 0000000..3217975 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ3_XXS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:977b0d9aa7e4428841d8249f1512f3fe19c05cf7a4dccab73c8ee40877bf3d95 +size 888064736 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ4_NL.gguf b/Kimina-Prover-RL-1.7B.i1-IQ4_NL.gguf new file mode 100644 index 0000000..4642035 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ4_NL.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9702dd88021800504e9ac597ad364b34de59d93c8ee7c0b227571adab8d88192 +size 1229454048 diff --git a/Kimina-Prover-RL-1.7B.i1-IQ4_XS.gguf b/Kimina-Prover-RL-1.7B.i1-IQ4_XS.gguf new file mode 100644 index 0000000..704916e --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-IQ4_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:69aee5ddb74dd12494f0971c6ee8404bf11d96328a34105ae9c2d56e6e0a9495 +size 1175689952 diff --git a/Kimina-Prover-RL-1.7B.i1-Q2_K.gguf b/Kimina-Prover-RL-1.7B.i1-Q2_K.gguf new file mode 100644 index 0000000..d9f38a6 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q2_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:03a6215e6bb6525f99dd3ca1032a1eb3023b77a07001f57a5e890c27a117b3e6 +size 879897312 diff --git a/Kimina-Prover-RL-1.7B.i1-Q2_K_S.gguf b/Kimina-Prover-RL-1.7B.i1-Q2_K_S.gguf new file mode 100644 index 0000000..c286c17 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q2_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:524541452ef1f4088fe028b0463cb9b58d97f5abd2243b953b05a021eb3a1db1 +size 835070688 diff --git a/Kimina-Prover-RL-1.7B.i1-Q3_K_L.gguf b/Kimina-Prover-RL-1.7B.i1-Q3_K_L.gguf new file mode 100644 index 0000000..c9db6a7 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q3_K_L.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f96b9f20db8a1c9128e402d80f1445f6f1f81ed18886339d53240832aaa0d5fe +size 1137205984 diff --git a/Kimina-Prover-RL-1.7B.i1-Q3_K_M.gguf b/Kimina-Prover-RL-1.7B.i1-Q3_K_M.gguf new file mode 100644 index 0000000..d521fee --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q3_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b9e059706529b83e7fede7822273e96764012352422e1d3b5a66abd1ddaeaae4 +size 1073242848 diff --git a/Kimina-Prover-RL-1.7B.i1-Q3_K_S.gguf b/Kimina-Prover-RL-1.7B.i1-Q3_K_S.gguf new file mode 100644 index 0000000..1c33549 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q3_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e21ea08304a24874bd10befdbab65aae004c711adcff75400bfe5ce22d1ba720 +size 1000956640 diff --git a/Kimina-Prover-RL-1.7B.i1-Q4_0.gguf b/Kimina-Prover-RL-1.7B.i1-Q4_0.gguf new file mode 100644 index 0000000..05bcc1b --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q4_0.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ffac90af8a38ccd5ec57d18b3a4f04aa19dcf0fbd6ef6db29f05a995cc1cb329 +size 1231813344 diff --git a/Kimina-Prover-RL-1.7B.i1-Q4_1.gguf b/Kimina-Prover-RL-1.7B.i1-Q4_1.gguf new file mode 100644 index 0000000..539d94b --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q4_1.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8ad7e2f98d84764473f48fd02e442325de3eec7a3b90e00582754026de2c7b29 +size 1336982240 diff --git a/Kimina-Prover-RL-1.7B.i1-Q4_K_M.gguf b/Kimina-Prover-RL-1.7B.i1-Q4_K_M.gguf new file mode 100644 index 0000000..0ecd42f --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q4_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:aa9fad9cc6c431eecae0e806faec087670ced906c773780cf5a36c02fa933efe +size 1282439904 diff --git a/Kimina-Prover-RL-1.7B.i1-Q4_K_S.gguf b/Kimina-Prover-RL-1.7B.i1-Q4_K_S.gguf new file mode 100644 index 0000000..c02e66f --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q4_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:31c6805169150c928aefe0c79bc8b5bb52502530425b8a05a8352690f3e36401 +size 1235221216 diff --git a/Kimina-Prover-RL-1.7B.i1-Q5_K_M.gguf b/Kimina-Prover-RL-1.7B.i1-Q5_K_M.gguf new file mode 100644 index 0000000..f1c2842 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q5_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a264d77a4e49a69995a0a85c386b26c300ea09d46bb127a75d18d1fdddf2b0e1 +size 1471806176 diff --git a/Kimina-Prover-RL-1.7B.i1-Q5_K_S.gguf b/Kimina-Prover-RL-1.7B.i1-Q5_K_S.gguf new file mode 100644 index 0000000..83b1a07 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q5_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f726932036a650e791273d917d8cbd25a84f915ee48d48bcbdf8bcb07460b642 +size 1444510432 diff --git a/Kimina-Prover-RL-1.7B.i1-Q6_K.gguf b/Kimina-Prover-RL-1.7B.i1-Q6_K.gguf new file mode 100644 index 0000000..2f7dbff --- /dev/null +++ b/Kimina-Prover-RL-1.7B.i1-Q6_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ec91d735fdd0f61eff8c1045df27fe30993804547cabd98ae6b45133293a6d77 +size 1673007840 diff --git a/Kimina-Prover-RL-1.7B.imatrix.gguf b/Kimina-Prover-RL-1.7B.imatrix.gguf new file mode 100644 index 0000000..353f4d2 --- /dev/null +++ b/Kimina-Prover-RL-1.7B.imatrix.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dc1063e8f36d8696b585706c888ead004e4d16b15e3bdf66d2f9dd796dd56bb0 +size 2094560 diff --git a/README.md b/README.md new file mode 100644 index 0000000..d3887f3 --- /dev/null +++ b/README.md @@ -0,0 +1,85 @@ +--- +base_model: AI-MO/Kimina-Prover-RL-1.7B +language: +- en +library_name: transformers +license: apache-2.0 +mradermacher: + readme_rev: 1 +quantized_by: mradermacher +--- +## About + + + + + + + + + +weighted/imatrix quants of https://huggingface.co/AI-MO/Kimina-Prover-RL-1.7B + + + +***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#Kimina-Prover-RL-1.7B-i1-GGUF).*** + +static quants are available at https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-GGUF +## Usage + +If you are unsure how to use GGUF files, refer to one of [TheBloke's +READMEs](https://huggingface.co/TheBloke/KafkaLM-70B-German-V0.1-GGUF) for +more details, including on how to concatenate multi-part files. + +## Provided Quants + +(sorted by size, not necessarily quality. IQ-quants are often preferable over similar sized non-IQ quants) + +| Link | Type | Size/GB | Notes | +|:-----|:-----|--------:|:------| +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.imatrix.gguf) | imatrix | 0.1 | imatrix file (for creating your own quants) | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ1_S.gguf) | i1-IQ1_S | 0.7 | for the desperate | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ1_M.gguf) | i1-IQ1_M | 0.7 | mostly desperate | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ2_XXS.gguf) | i1-IQ2_XXS | 0.8 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ2_XS.gguf) | i1-IQ2_XS | 0.8 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ2_S.gguf) | i1-IQ2_S | 0.9 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ2_M.gguf) | i1-IQ2_M | 0.9 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q2_K_S.gguf) | i1-Q2_K_S | 0.9 | very low quality | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q2_K.gguf) | i1-Q2_K | 1.0 | IQ3_XXS probably better | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ3_XXS.gguf) | i1-IQ3_XXS | 1.0 | lower quality | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ3_XS.gguf) | i1-IQ3_XS | 1.1 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ3_S.gguf) | i1-IQ3_S | 1.1 | beats Q3_K* | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q3_K_S.gguf) | i1-Q3_K_S | 1.1 | IQ3_XS probably better | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ3_M.gguf) | i1-IQ3_M | 1.1 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q3_K_M.gguf) | i1-Q3_K_M | 1.2 | IQ3_S probably better | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q3_K_L.gguf) | i1-Q3_K_L | 1.2 | IQ3_M probably better | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ4_XS.gguf) | i1-IQ4_XS | 1.3 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-IQ4_NL.gguf) | i1-IQ4_NL | 1.3 | prefer IQ4_XS | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q4_0.gguf) | i1-Q4_0 | 1.3 | fast, low quality | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q4_K_S.gguf) | i1-Q4_K_S | 1.3 | optimal size/speed/quality | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q4_K_M.gguf) | i1-Q4_K_M | 1.4 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q4_1.gguf) | i1-Q4_1 | 1.4 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q5_K_S.gguf) | i1-Q5_K_S | 1.5 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q5_K_M.gguf) | i1-Q5_K_M | 1.6 | | +| [GGUF](https://huggingface.co/mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF/resolve/main/Kimina-Prover-RL-1.7B.i1-Q6_K.gguf) | i1-Q6_K | 1.8 | practically like static Q6_K | + +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) + +And here are Artefact2's thoughts on the matter: +https://gist.github.com/Artefact2/b5f810600771265fc1e39442288e8ec9 + +## FAQ / Model Request + +See https://huggingface.co/mradermacher/model_requests for some answers to +questions you might have and/or if you want some other model quantized. + +## Thanks + +I thank my company, [nethype GmbH](https://www.nethype.de/), for letting +me use its servers and providing upgrades to my workstation to enable +this work in my free time. Additional thanks to [@nicoboss](https://huggingface.co/nicoboss) for giving me access to his private supercomputer, enabling me to provide many more imatrix quants, at much higher quality, than I would otherwise be able to. + +