mradermacher/Mathesis-Autoformalizer-HPO-GGUF
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity

初始化项目，由ModelHub XC社区提供模型

Browse Source 
Model: mradermacher/Mathesis-Autoformalizer-HPO-GGUF
Source: Original Platform
This commit is contained in:
ModelHub XC
2026-06-10 20:31:19 +08:00
commit 1cfb626d3c
14 changed files with 151 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
.gitattributes vendored Normal file
View File

@@ -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

3
Mathesis-Autoformalizer-HPO.IQ4_XS.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:45c6eee705b1c47a9a49585a57a34445059f170e6fe53778aacc17fcd2de00d9
size 4250298656

3
Mathesis-Autoformalizer-HPO.Q2_K.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:af4135092fe1790ad1f7c486d6da22dd3dcda894f6f1a80785c90cbf601f06a8
size 3015940384

3
Mathesis-Autoformalizer-HPO.Q3_K_L.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:d2d2eb366c7c1aedcbecfd9493bc89bcd0b74529d5b03d8d2e4c28eb5cb73d5a
size 4088459552

3
Mathesis-Autoformalizer-HPO.Q3_K_M.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:0e50602a212e27fcd410c514ea895ffaf0e0472f27df12ca730071e9cec0a519
size 3808391456

3
Mathesis-Autoformalizer-HPO.Q3_K_S.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:896b83a49dc75a9c5d34e07a2fa1238b17a1a471654adabaca2c6b750d7072d5
size 3492368672

3
Mathesis-Autoformalizer-HPO.Q4_K_M.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:22d287ddedbc0c533fb61ce7e9be2437e768e16902c9bc39650faf78fafd18d9
size 4683073824

3
Mathesis-Autoformalizer-HPO.Q4_K_S.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:eb6bdb57838fd8273fc48d12939323b3b813c4864c01f9de0b6ba75b9bbf4fbf
size 4457769248

3
Mathesis-Autoformalizer-HPO.Q5_K_M.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:5d17252f57d4871e6430fa3e387dae52e91c62d0d6793051d2d329da93f76e22
size 5444831520

3
Mathesis-Autoformalizer-HPO.Q5_K_S.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:2e15fc0614c5c4677847c8e8970fd84a853dc7742cfed21ce66dd42ea323ea78
size 5315176736

3
Mathesis-Autoformalizer-HPO.Q6_K.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:49acb4e089e3d9c99b35cf7d6c8cb74dbe1fe6656b57f4349be9ebc6752d427f
size 6254199072

3
Mathesis-Autoformalizer-HPO.Q8_0.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:2adc5620901be1514ad64a2b5baa280ba2272d191d07ec8f2b2f79d4ab9c5cae
size 8098525472

3
Mathesis-Autoformalizer-HPO.f16.gguf Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:61bbd611daae7602162f8a3b7853b3bc6b154cb6798bb86e06ce3537f0a7e08a
size 15237853472

68
README.md Normal file
View File

@@ -0,0 +1,68 @@
---
base_model: huawei-ai4math/Mathesis-Autoformalizer-HPO
language:
- en
library_name: transformers
mradermacher:
readme_rev: 1
quantized_by: mradermacher
---
## About
<!-- ### quantize_version: 2 -->
<!-- ### output_tensor_quantised: 1 -->
<!-- ### convert_type: hf -->
<!-- ### vocab_type: -->
<!-- ### tags: -->
static quants of https://huggingface.co/huawei-ai4math/Mathesis-Autoformalizer-HPO
<!-- provided-files -->
***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.
<!-- end -->