From 189d795d6d77dc11cce153796b1574bd82af75be Mon Sep 17 00:00:00 2001 From: ModelHub XC Date: Mon, 15 Jun 2026 23:57:19 +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/Goedel-Formalizer-V2-8B-GGUF Source: Original Platform --- .gitattributes | 47 ++++++++++++++++++++ Goedel-Formalizer-V2-8B.IQ4_XS.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q2_K.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q3_K_L.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q3_K_M.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q3_K_S.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q4_K_M.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q4_K_S.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q5_K_M.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q5_K_S.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q6_K.gguf | 3 ++ Goedel-Formalizer-V2-8B.Q8_0.gguf | 3 ++ Goedel-Formalizer-V2-8B.f16.gguf | 3 ++ README.md | 69 +++++++++++++++++++++++++++++ 14 files changed, 152 insertions(+) create mode 100644 .gitattributes create mode 100644 Goedel-Formalizer-V2-8B.IQ4_XS.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q2_K.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q3_K_L.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q3_K_M.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q3_K_S.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q4_K_M.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q4_K_S.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q5_K_M.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q5_K_S.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q6_K.gguf create mode 100644 Goedel-Formalizer-V2-8B.Q8_0.gguf create mode 100644 Goedel-Formalizer-V2-8B.f16.gguf create mode 100644 README.md diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..a4a0813 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,47 @@ +*.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 +Goedel-Formalizer-V2-8B.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.f16.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Goedel-Formalizer-V2-8B.IQ4_XS.gguf filter=lfs diff=lfs merge=lfs -text diff --git a/Goedel-Formalizer-V2-8B.IQ4_XS.gguf b/Goedel-Formalizer-V2-8B.IQ4_XS.gguf new file mode 100644 index 0000000..43cbf29 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.IQ4_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f50c8087cd79d8fc4056f8e1349c7960a138c5db8c234b0280e83343abc1bc68 +size 4593296960 diff --git a/Goedel-Formalizer-V2-8B.Q2_K.gguf b/Goedel-Formalizer-V2-8B.Q2_K.gguf new file mode 100644 index 0000000..90f1216 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q2_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2735982f4eaafd971edb77fcbf239618bdde38c939baf743a6c984c2777999a6 +size 3281733184 diff --git a/Goedel-Formalizer-V2-8B.Q3_K_L.gguf b/Goedel-Formalizer-V2-8B.Q3_K_L.gguf new file mode 100644 index 0000000..0470ea5 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q3_K_L.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2305e9730022e3d3e561e3a72d193dd6fbdd67d22283bc26114c9c81c561839f +size 4431394368 diff --git a/Goedel-Formalizer-V2-8B.Q3_K_M.gguf b/Goedel-Formalizer-V2-8B.Q3_K_M.gguf new file mode 100644 index 0000000..e63cb47 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q3_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9354295fd02b51ff3da6fdacac0ffb0e2973a3b7109207ba990c26ac59651a78 +size 4124161600 diff --git a/Goedel-Formalizer-V2-8B.Q3_K_S.gguf b/Goedel-Formalizer-V2-8B.Q3_K_S.gguf new file mode 100644 index 0000000..e4e8af4 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q3_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f4a15c5fdf38510b35d391c8cecfd66ac9747a1c52eac9f52a49bd446cc2e9f9 +size 3769611840 diff --git a/Goedel-Formalizer-V2-8B.Q4_K_M.gguf b/Goedel-Formalizer-V2-8B.Q4_K_M.gguf new file mode 100644 index 0000000..c43d76f --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q4_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:14f0cf69c3c3b8906136f6d98420262e70a66be671f6295e312adab5649564fe +size 5027784256 diff --git a/Goedel-Formalizer-V2-8B.Q4_K_S.gguf b/Goedel-Formalizer-V2-8B.Q4_K_S.gguf new file mode 100644 index 0000000..319f8be --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q4_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:916ad1902445955d7333dd41d46fff78737e0d1cbd19f5e2304a66271cf2aced +size 4802012736 diff --git a/Goedel-Formalizer-V2-8B.Q5_K_M.gguf b/Goedel-Formalizer-V2-8B.Q5_K_M.gguf new file mode 100644 index 0000000..4a944c1 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q5_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:123e5ad7e16aaf592d2fe2efdd151f6b44af9c9b90a9af3c5e7fbd8d60b37d86 +size 5851113024 diff --git a/Goedel-Formalizer-V2-8B.Q5_K_S.gguf b/Goedel-Formalizer-V2-8B.Q5_K_S.gguf new file mode 100644 index 0000000..9811cc1 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q5_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2e5ea93354978b6648f15cbec80952262131d644029c2c2c7b355b932e1a36ca +size 5720761920 diff --git a/Goedel-Formalizer-V2-8B.Q6_K.gguf b/Goedel-Formalizer-V2-8B.Q6_K.gguf new file mode 100644 index 0000000..3dede48 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q6_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e6722b8993309d65dd7f1cae47a2e4b3c1c17c7a46694c090f89ad430fad77fe +size 6725899840 diff --git a/Goedel-Formalizer-V2-8B.Q8_0.gguf b/Goedel-Formalizer-V2-8B.Q8_0.gguf new file mode 100644 index 0000000..eaf8be3 --- /dev/null +++ b/Goedel-Formalizer-V2-8B.Q8_0.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0fd9999913458396e3a075ebaab9227836b09822002bdf1dde418a8fb7d2fd46 +size 8709518912 diff --git a/Goedel-Formalizer-V2-8B.f16.gguf b/Goedel-Formalizer-V2-8B.f16.gguf new file mode 100644 index 0000000..c3943be --- /dev/null +++ b/Goedel-Formalizer-V2-8B.f16.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cb309a05d0ff7267d9a9af86ee7bf49e03ed2962b1ed1f01cad9616f0787f429 +size 16388044352 diff --git a/README.md b/README.md new file mode 100644 index 0000000..b4f2f75 --- /dev/null +++ b/README.md @@ -0,0 +1,69 @@ +--- +base_model: Goedel-LM/Goedel-Formalizer-V2-8B +language: +- en +library_name: transformers +license: apache-2.0 +mradermacher: + readme_rev: 1 +quantized_by: mradermacher +--- +## About + + + + + + +static quants of https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B + + + +***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#Goedel-Formalizer-V2-8B-GGUF).*** + +weighted/imatrix quants are available at https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-i1-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/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q2_K.gguf) | Q2_K | 3.4 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q3_K_S.gguf) | Q3_K_S | 3.9 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q3_K_M.gguf) | Q3_K_M | 4.2 | lower quality | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q3_K_L.gguf) | Q3_K_L | 4.5 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.IQ4_XS.gguf) | IQ4_XS | 4.7 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q4_K_S.gguf) | Q4_K_S | 4.9 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q4_K_M.gguf) | Q4_K_M | 5.1 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q5_K_S.gguf) | Q5_K_S | 5.8 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q5_K_M.gguf) | Q5_K_M | 6.0 | | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q6_K.gguf) | Q6_K | 6.8 | very good quality | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.Q8_0.gguf) | Q8_0 | 8.8 | fast, best quality | +| [GGUF](https://huggingface.co/mradermacher/Goedel-Formalizer-V2-8B-GGUF/resolve/main/Goedel-Formalizer-V2-8B.f16.gguf) | f16 | 16.5 | 16 bpw, overkill | + +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. + +