Downloads · 30 days
118
18% of all-time downloads
Goedel-Prover-DPO-GGUF
mradermacher/Goedel-Prover-DPO-GGUF
Goedel-Prover-DPO-GGUF is a machine learning model from mradermacher. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for transformers. The card lists the license as mit.
static quants of https://huggingface.co/Goedel-LM/Goedel-Prover-DPO
All-time downloads
665
Public
Repo size
61.7 GB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.gguf61.7 GB · 100%
At a glance
- Library
- transformers
- License
- mit
- Access
- Public
- Created
- Apr 23, 2025
- Updated
- Apr 23, 2025
- SHA
- e54e80dc
Base models
Model card
From the Hugging Face model README
About
<!-- ### quantize_version: 2 --> <!-- ### output_tensor_quantised: 1 --> <!-- ### convert_type: hf --> <!-- ### vocab_type: --> <!-- ### tags: -->static quants of https://huggingface.co/Goedel-LM/Goedel-Prover-DPO
<!-- provided-files -->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 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 | Q2_K | 2.8 | |
| GGUF | Q3_K_S | 3.2 | |
| GGUF | Q3_K_M | 3.6 | lower quality |
| GGUF | Q3_K_L | 3.8 | |
| GGUF | IQ4_XS | 3.9 | |
| GGUF | Q4_K_S | 4.1 | fast, recommended |
| GGUF | Q4_K_M | 4.3 | fast, recommended |
| GGUF | Q5_K_S | 4.9 | |
| GGUF | Q5_K_M | 5.0 | |
| GGUF | Q6_K | 5.8 | very good quality |
| GGUF | Q8_0 | 7.4 | fast, best quality |
| GGUF | f16 | 13.9 | 16 bpw, overkill |
Here is a handy graph by ikawrakow comparing some lower-quality quant types (lower is better):
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, for letting me use its servers and providing upgrades to my workstation to enable this work in my free time.
<!-- end -->- Library
- transformers
- License
- mit
- Languages
- en
- Created
- Apr 23, 2025
- Updated
- Apr 23, 2025