commit 1cfb626d3c274da9d6739dbd5653721d9cecca37 Author: ModelHub XC Date: Wed Jun 10 20:31:19 2026 +0800 初始化项目，由ModelHub XC社区提供模型 Model: mradermacher/Mathesis-Autoformalizer-HPO-GGUF Source: Original Platform diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..820f729 --- /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 +Mathesis-Autoformalizer-HPO.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.f16.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text +Mathesis-Autoformalizer-HPO.IQ4_XS.gguf filter=lfs diff=lfs merge=lfs -text diff --git a/Mathesis-Autoformalizer-HPO.IQ4_XS.gguf b/Mathesis-Autoformalizer-HPO.IQ4_XS.gguf new file mode 100644 index 0000000..6ebd543 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.IQ4_XS.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:45c6eee705b1c47a9a49585a57a34445059f170e6fe53778aacc17fcd2de00d9 +size 4250298656 diff --git a/Mathesis-Autoformalizer-HPO.Q2_K.gguf b/Mathesis-Autoformalizer-HPO.Q2_K.gguf new file mode 100644 index 0000000..d290285 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q2_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:af4135092fe1790ad1f7c486d6da22dd3dcda894f6f1a80785c90cbf601f06a8 +size 3015940384 diff --git a/Mathesis-Autoformalizer-HPO.Q3_K_L.gguf b/Mathesis-Autoformalizer-HPO.Q3_K_L.gguf new file mode 100644 index 0000000..4140ad0 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q3_K_L.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d2d2eb366c7c1aedcbecfd9493bc89bcd0b74529d5b03d8d2e4c28eb5cb73d5a +size 4088459552 diff --git a/Mathesis-Autoformalizer-HPO.Q3_K_M.gguf b/Mathesis-Autoformalizer-HPO.Q3_K_M.gguf new file mode 100644 index 0000000..9909a05 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q3_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0e50602a212e27fcd410c514ea895ffaf0e0472f27df12ca730071e9cec0a519 +size 3808391456 diff --git a/Mathesis-Autoformalizer-HPO.Q3_K_S.gguf b/Mathesis-Autoformalizer-HPO.Q3_K_S.gguf new file mode 100644 index 0000000..e5e0815 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q3_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:896b83a49dc75a9c5d34e07a2fa1238b17a1a471654adabaca2c6b750d7072d5 +size 3492368672 diff --git a/Mathesis-Autoformalizer-HPO.Q4_K_M.gguf b/Mathesis-Autoformalizer-HPO.Q4_K_M.gguf new file mode 100644 index 0000000..b7d303a --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q4_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:22d287ddedbc0c533fb61ce7e9be2437e768e16902c9bc39650faf78fafd18d9 +size 4683073824 diff --git a/Mathesis-Autoformalizer-HPO.Q4_K_S.gguf b/Mathesis-Autoformalizer-HPO.Q4_K_S.gguf new file mode 100644 index 0000000..60ed9f2 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q4_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:eb6bdb57838fd8273fc48d12939323b3b813c4864c01f9de0b6ba75b9bbf4fbf +size 4457769248 diff --git a/Mathesis-Autoformalizer-HPO.Q5_K_M.gguf b/Mathesis-Autoformalizer-HPO.Q5_K_M.gguf new file mode 100644 index 0000000..abde631 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q5_K_M.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5d17252f57d4871e6430fa3e387dae52e91c62d0d6793051d2d329da93f76e22 +size 5444831520 diff --git a/Mathesis-Autoformalizer-HPO.Q5_K_S.gguf b/Mathesis-Autoformalizer-HPO.Q5_K_S.gguf new file mode 100644 index 0000000..0908a68 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q5_K_S.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2e15fc0614c5c4677847c8e8970fd84a853dc7742cfed21ce66dd42ea323ea78 +size 5315176736 diff --git a/Mathesis-Autoformalizer-HPO.Q6_K.gguf b/Mathesis-Autoformalizer-HPO.Q6_K.gguf new file mode 100644 index 0000000..a315481 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q6_K.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:49acb4e089e3d9c99b35cf7d6c8cb74dbe1fe6656b57f4349be9ebc6752d427f +size 6254199072 diff --git a/Mathesis-Autoformalizer-HPO.Q8_0.gguf b/Mathesis-Autoformalizer-HPO.Q8_0.gguf new file mode 100644 index 0000000..2b59dd0 --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.Q8_0.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2adc5620901be1514ad64a2b5baa280ba2272d191d07ec8f2b2f79d4ab9c5cae +size 8098525472 diff --git a/Mathesis-Autoformalizer-HPO.f16.gguf b/Mathesis-Autoformalizer-HPO.f16.gguf new file mode 100644 index 0000000..af9f3fb --- /dev/null +++ b/Mathesis-Autoformalizer-HPO.f16.gguf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:61bbd611daae7602162f8a3b7853b3bc6b154cb6798bb86e06ce3537f0a7e08a +size 15237853472 diff --git a/README.md b/README.md new file mode 100644 index 0000000..c4d7d72 --- /dev/null +++ b/README.md @@ -0,0 +1,68 @@ +--- +base_model: huawei-ai4math/Mathesis-Autoformalizer-HPO +language: +- en +library_name: transformers +mradermacher: + readme_rev: 1 +quantized_by: mradermacher +--- +## About + + + + + + +static quants of https://huggingface.co/huawei-ai4math/Mathesis-Autoformalizer-HPO + + + +***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#Mathesis-Autoformalizer-HPO-GGUF).*** + +weighted/imatrix quants seem not to be available (by me) at this time. If they do not show up a week or so after the static ones, I have probably not planned for them. Feel free to request them by opening a Community Discussion. +## 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/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q2_K.gguf) | Q2_K | 3.1 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q3_K_S.gguf) | Q3_K_S | 3.6 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q3_K_M.gguf) | Q3_K_M | 3.9 | lower quality | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q3_K_L.gguf) | Q3_K_L | 4.2 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.IQ4_XS.gguf) | IQ4_XS | 4.4 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q4_K_S.gguf) | Q4_K_S | 4.6 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q4_K_M.gguf) | Q4_K_M | 4.8 | fast, recommended | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q5_K_S.gguf) | Q5_K_S | 5.4 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q5_K_M.gguf) | Q5_K_M | 5.5 | | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q6_K.gguf) | Q6_K | 6.4 | very good quality | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.Q8_0.gguf) | Q8_0 | 8.2 | fast, best quality | +| [GGUF](https://huggingface.co/mradermacher/Mathesis-Autoformalizer-HPO-GGUF/resolve/main/Mathesis-Autoformalizer-HPO.f16.gguf) | f16 | 15.3 | 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. + +