From 94b022365ce5de47229b1cc2a3bc0d2b108e5a4c Mon Sep 17 00:00:00 2001 From: ModelHub XC Date: Mon, 11 May 2026 11:11:37 +0800 Subject: [PATCH] =?UTF-8?q?=E5=88=9D=E5=A7=8B=E5=8C=96=E9=A1=B9=E7=9B=AE?= =?UTF-8?q?=EF=BC=8C=E7=94=B1ModelHub=20XC=E7=A4=BE=E5=8C=BA=E6=8F=90?= =?UTF-8?q?=E4=BE=9B=E6=A8=A1=E5=9E=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Model: mradermacher/BFS-Prover-V1-7B-i1-GGUF Source: Original Platform --- .gitattributes | 60 +++++++++++++++++++++ BFS-Prover-V1-7B.i1-IQ1_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ1_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ2_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ2_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ2_XS.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ2_XXS.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ3_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ3_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ3_XS.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ3_XXS.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ4_NL.gguf | 3 ++ BFS-Prover-V1-7B.i1-IQ4_XS.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q2_K.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q2_K_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q3_K_L.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q3_K_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q3_K_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q4_0.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q4_1.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q4_K_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q4_K_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q5_K_M.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q5_K_S.gguf | 3 ++ BFS-Prover-V1-7B.i1-Q6_K.gguf | 3 ++ BFS-Prover-V1-7B.imatrix.gguf | 3 ++ README.md | 93 ++++++++++++++++++++++++++++++++ 27 files changed, 228 insertions(+) create mode 100644 .gitattributes create mode 100644 BFS-Prover-V1-7B.i1-IQ1_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ1_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ2_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ2_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ2_XS.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ2_XXS.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ3_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ3_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ3_XS.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ3_XXS.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ4_NL.gguf create mode 100644 BFS-Prover-V1-7B.i1-IQ4_XS.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q2_K.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q2_K_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q3_K_L.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q3_K_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q3_K_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q4_0.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q4_1.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q4_K_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q4_K_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q5_K_M.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q5_K_S.gguf create mode 100644 BFS-Prover-V1-7B.i1-Q6_K.gguf create mode 100644 BFS-Prover-V1-7B.imatrix.gguf create mode 100644 README.md diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..fbf3326 --- /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 +BFS-Prover-V1-7B.imatrix.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q2_K.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ3_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ3_XXS.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ4_NL.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ2_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q6_K.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q2_K_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ4_XS.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ1_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ2_XXS.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ2_XS.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ2_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ1_S.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q4_0.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ3_XS.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-Q4_1.gguf filter=lfs diff=lfs merge=lfs -text +BFS-Prover-V1-7B.i1-IQ3_S.gguf filter=lfs diff=lfs merge=lfs -text diff --git a/BFS-Prover-V1-7B.i1-IQ1_M.gguf b/BFS-Prover-V1-7B.i1-IQ1_M.gguf new file mode 100644 index 0000000..942a743 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ1_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e95c8b5ec38d39056b726e9a0167d6a9346d5361099593fa9236d6f2e9382c3e +size 2042197696 diff --git a/BFS-Prover-V1-7B.i1-IQ1_S.gguf b/BFS-Prover-V1-7B.i1-IQ1_S.gguf new file mode 100644 index 0000000..16f22b9 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ1_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:799f9e566082b3de59815a0c3431a140975777fb0bc62b949a6ba9080404a560 +size 1903668928 diff --git a/BFS-Prover-V1-7B.i1-IQ2_M.gguf b/BFS-Prover-V1-7B.i1-IQ2_M.gguf new file mode 100644 index 0000000..37df93f --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ2_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8ed522f0b853cd3cc1c193878051bf81b7d722e83113371faf66bd418ab330a2 +size 2780344000 diff --git a/BFS-Prover-V1-7B.i1-IQ2_S.gguf b/BFS-Prover-V1-7B.i1-IQ2_S.gguf new file mode 100644 index 0000000..b97404b --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ2_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7262d3f31dde247a94ff725911b6f0d9a9f6bd9dd72124de5f130d263355715f +size 2595638976 diff --git a/BFS-Prover-V1-7B.i1-IQ2_XS.gguf b/BFS-Prover-V1-7B.i1-IQ2_XS.gguf new file mode 100644 index 0000000..b4a52da --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ2_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:35e6ac5b740f8f5d47b32ae78eb72f85ff16bec47ca66ece53ab0d38ae615bf4 +size 2469023424 diff --git a/BFS-Prover-V1-7B.i1-IQ2_XXS.gguf b/BFS-Prover-V1-7B.i1-IQ2_XXS.gguf new file mode 100644 index 0000000..65032f1 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ2_XXS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8e6f6e934fdd87ab7c1dd831b59fc997341de3a4c8c201d6718018c6447878a7 +size 2273078976 diff --git a/BFS-Prover-V1-7B.i1-IQ3_M.gguf b/BFS-Prover-V1-7B.i1-IQ3_M.gguf new file mode 100644 index 0000000..315648f --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ3_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:59670d84b13367ac2808947229ef2dd1c26c8c91065c147b4c7b7e617e6dce32 +size 3574013632 diff --git a/BFS-Prover-V1-7B.i1-IQ3_S.gguf b/BFS-Prover-V1-7B.i1-IQ3_S.gguf new file mode 100644 index 0000000..d600989 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ3_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5d622aa170c73778d1e789623b67a857d431fc9dade781a40297aa45b954e863 +size 3499194048 diff --git a/BFS-Prover-V1-7B.i1-IQ3_XS.gguf b/BFS-Prover-V1-7B.i1-IQ3_XS.gguf new file mode 100644 index 0000000..99339b8 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ3_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1e220108351beabd630bad16e3e3e8954435c56f4306e7310dc457209512dc23 +size 3346257600 diff --git a/BFS-Prover-V1-7B.i1-IQ3_XXS.gguf b/BFS-Prover-V1-7B.i1-IQ3_XXS.gguf new file mode 100644 index 0000000..0f8eba1 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ3_XXS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:39c75acca896270d49dbadea31ff3c7c3c9511fe143040ef778f295ad8250d3f +size 3114516160 diff --git a/BFS-Prover-V1-7B.i1-IQ4_NL.gguf b/BFS-Prover-V1-7B.i1-IQ4_NL.gguf new file mode 100644 index 0000000..77c7887 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ4_NL.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:940f890d6198476bb27018a1489dff2a76fc605a61ef59fa6f3808b1eda55123 +size 4437814976 diff --git a/BFS-Prover-V1-7B.i1-IQ4_XS.gguf b/BFS-Prover-V1-7B.i1-IQ4_XS.gguf new file mode 100644 index 0000000..2fa0395 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-IQ4_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6d6bd1962a40ced024a1524e2d98bceeb68fa8090b8a19eb184d7610f68e61de +size 4218474176 diff --git a/BFS-Prover-V1-7B.i1-Q2_K.gguf b/BFS-Prover-V1-7B.i1-Q2_K.gguf new file mode 100644 index 0000000..50c1c5f --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q2_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5ce87bc2950cf6e4031963d01c3d798c277de2b9226781d56e684b43ebbb1199 +size 3015941824 diff --git a/BFS-Prover-V1-7B.i1-Q2_K_S.gguf b/BFS-Prover-V1-7B.i1-Q2_K_S.gguf new file mode 100644 index 0000000..05b8fd4 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q2_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:58384dd7dc1355ea71e887acca046309ce59a804f2b4f07ca93482de272946ca +size 2834075328 diff --git a/BFS-Prover-V1-7B.i1-Q3_K_L.gguf b/BFS-Prover-V1-7B.i1-Q3_K_L.gguf new file mode 100644 index 0000000..0901e64 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q3_K_L.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:786f9134999e306305cb58caa36ea65b5523e823596adaafac2e60750996322c +size 4088460992 diff --git a/BFS-Prover-V1-7B.i1-Q3_K_M.gguf b/BFS-Prover-V1-7B.i1-Q3_K_M.gguf new file mode 100644 index 0000000..171d36c --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q3_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4f9e2d6f0113ce51ae6cf32cf8e4481b847f2d464b33bd125b11604b00e3558d +size 3808392896 diff --git a/BFS-Prover-V1-7B.i1-Q3_K_S.gguf b/BFS-Prover-V1-7B.i1-Q3_K_S.gguf new file mode 100644 index 0000000..f147342 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q3_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dde0010cef815ba0fe7ad8150a317ac373219c4813b30a025224bafab751dd9a +size 3492370112 diff --git a/BFS-Prover-V1-7B.i1-Q4_0.gguf b/BFS-Prover-V1-7B.i1-Q4_0.gguf new file mode 100644 index 0000000..190f644 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q4_0.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:73749cade8af95bc4b28b3a6e2489d45ab8ee16eed18ee431da65955aed76519 +size 4444122816 diff --git a/BFS-Prover-V1-7B.i1-Q4_1.gguf b/BFS-Prover-V1-7B.i1-Q4_1.gguf new file mode 100644 index 0000000..84177ea --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q4_1.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:11346503ce24ad04e424412735a2432a1172f115d99109ad6f14253de9652f41 +size 4873285312 diff --git a/BFS-Prover-V1-7B.i1-Q4_K_M.gguf b/BFS-Prover-V1-7B.i1-Q4_K_M.gguf new file mode 100644 index 0000000..f5a1eb2 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q4_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:37d6d2cd1da75a2cbcd227dd25e0358e760c843d0c0923e31f9ddcc709e5f239 +size 4683075264 diff --git a/BFS-Prover-V1-7B.i1-Q4_K_S.gguf b/BFS-Prover-V1-7B.i1-Q4_K_S.gguf new file mode 100644 index 0000000..c519fa8 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q4_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1742adaeb89df49c9165ff26ca933c89ecc4796db846752adc9af60faff81ba2 +size 4457770688 diff --git a/BFS-Prover-V1-7B.i1-Q5_K_M.gguf b/BFS-Prover-V1-7B.i1-Q5_K_M.gguf new file mode 100644 index 0000000..e3129ab --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q5_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9fd49d849911bd8b0061411dd26d6db8fccb5a00bd5f9efcebbfef2cdc9239fb +size 5444832960 diff --git a/BFS-Prover-V1-7B.i1-Q5_K_S.gguf b/BFS-Prover-V1-7B.i1-Q5_K_S.gguf new file mode 100644 index 0000000..2d66c45 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q5_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e1dba5120dfe5eef9162e319a2e35c4a430ba864a825e831313594b029957199 +size 5315178176 diff --git a/BFS-Prover-V1-7B.i1-Q6_K.gguf b/BFS-Prover-V1-7B.i1-Q6_K.gguf new file mode 100644 index 0000000..7cf79b7 --- /dev/null +++ b/BFS-Prover-V1-7B.i1-Q6_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3ccac1bfeb7973671c67630c53d22c703eca7ad8bc34ec69f831c1a4011d7999 +size 6254200512 diff --git a/BFS-Prover-V1-7B.imatrix.gguf b/BFS-Prover-V1-7B.imatrix.gguf new file mode 100644 index 0000000..43ca55b --- /dev/null +++ b/BFS-Prover-V1-7B.imatrix.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ae34bafdd7d8658326123ac4af2160784d195e22c8ed75119f135af7e3110cff +size 4560352 diff --git a/README.md b/README.md new file mode 100644 index 0000000..6f61bab --- /dev/null +++ b/README.md @@ -0,0 +1,93 @@ +--- +base_model: ByteDance-Seed/BFS-Prover-V1-7B +datasets: +- internlm/Lean-Workbook +- internlm/Lean-Github +- AI-MO/NuminaMath-CoT +language: +- en +library_name: transformers +license: apache-2.0 +mradermacher: + readme_rev: 1 +quantized_by: mradermacher +tags: +- lean4 +- theorem-proving +- formal-mathematics +--- +## About + + + + + + + + + +weighted/imatrix quants of https://huggingface.co/ByteDance-Seed/BFS-Prover-V1-7B + + + +***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#BFS-Prover-V1-7B-i1-GGUF).*** + +static quants are available at https://huggingface.co/mradermacher/BFS-Prover-V1-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/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.imatrix.gguf) | imatrix | 0.1 | imatrix file (for creating your own quants) | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ1_S.gguf) | i1-IQ1_S | 2.0 | for the desperate | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ1_M.gguf) | i1-IQ1_M | 2.1 | mostly desperate | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_XXS.gguf) | i1-IQ2_XXS | 2.4 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_XS.gguf) | i1-IQ2_XS | 2.6 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_S.gguf) | i1-IQ2_S | 2.7 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_M.gguf) | i1-IQ2_M | 2.9 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q2_K_S.gguf) | i1-Q2_K_S | 2.9 | very low quality | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q2_K.gguf) | i1-Q2_K | 3.1 | IQ3_XXS probably better | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_XXS.gguf) | i1-IQ3_XXS | 3.2 | lower quality | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_XS.gguf) | i1-IQ3_XS | 3.4 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_S.gguf) | i1-Q3_K_S | 3.6 | IQ3_XS probably better | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_S.gguf) | i1-IQ3_S | 3.6 | beats Q3_K* | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_M.gguf) | i1-IQ3_M | 3.7 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_M.gguf) | i1-Q3_K_M | 3.9 | IQ3_S probably better | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_L.gguf) | i1-Q3_K_L | 4.2 | IQ3_M probably better | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ4_XS.gguf) | i1-IQ4_XS | 4.3 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ4_NL.gguf) | i1-IQ4_NL | 4.5 | prefer IQ4_XS | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_0.gguf) | i1-Q4_0 | 4.5 | fast, low quality | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_K_S.gguf) | i1-Q4_K_S | 4.6 | optimal size/speed/quality | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_K_M.gguf) | i1-Q4_K_M | 4.8 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_1.gguf) | i1-Q4_1 | 5.0 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q5_K_S.gguf) | i1-Q5_K_S | 5.4 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q5_K_M.gguf) | i1-Q5_K_M | 5.5 | | +| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q6_K.gguf) | i1-Q6_K | 6.4 | 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. + +