OProver-32B-GGUF is an open-weight model from Team Mradermacher, released under Apache License 2.0. Its published files total 224.0 GB. It draws 721 downloads a month.
static quants of https://huggingface.co/m-a-p/OProver-32B For a convenient overview and download list, visit our model page for this model. weighted/imatrix quants seem not to be available (by me) at this time.
Model Card
By Team Mradermacher, published under apache-2.0, revision 338ecb41fedb.
static quants of https://huggingface.co/m-a-p/OProver-32B For a convenient overview and download list, visit our model page for this model. 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. 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. (sorted by size, not necessarily quality. IQ-quants are often preferable over similar sized non-IQ quants) Here is a handy graph by ikawrakow comparing some lower-quality quant And here…
Read Team Mradermacher's full model card
About
static quants of https://huggingface.co/m-a-p/OProver-32B
For a convenient overview and download list, visit our model page for this model.
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 | 12.4 | |
| GGUF | Q3_K_S | 14.5 | |
| GGUF | Q3_K_M | 16.1 | lower quality |
| GGUF | Q3_K_L | 17.4 | |
| GGUF | IQ4_XS | 18.0 | |
| GGUF | Q4_K_S | 18.9 | fast, recommended |
| GGUF | Q4_K_M | 19.9 | fast, recommended |
| GGUF | Q5_K_S | 22.7 | |
| GGUF | Q5_K_M | 23.3 | |
| GGUF | Q6_K | 27.0 | very good quality |
| GGUF | Q8_0 | 34.9 | fast, best quality |
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. Additional thanks to @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.
Identity and Version
- Repository
- mradermacher/OProver-32B-GGUF
- Publisher
- Team Mradermacher
- Task
- Not stated by the source
- Modality
- Other
- Library
- transformers
- Parameters
- Not stated by the source
- Languages
- en
- Revision
- 338ecb41fedbfcf6dd07eaec132b724d937ca945
- First published
- 2026-05-16
- Last updated
- 2026-10-07
Files and Weights
13 files, 224.0 GB in total. The weights are 11 files totalling 224.0 GB in gguf.
Every file
| File | Type | Size | SHA-256 |
|---|---|---|---|
| OProver-32B.IQ4_XS.gguf | Weights | 17.9 GB | cb5331b3df17 |
| OProver-32B.Q2_K.gguf | Weights | 12.3 GB | 60d62c95f9fc |
| OProver-32B.Q3_K_L.gguf | Weights | 17.3 GB | 8fb585b85f95 |
| OProver-32B.Q3_K_M.gguf | Weights | 16.0 GB | 410be2e96e06 |
| OProver-32B.Q3_K_S.gguf | Weights | 14.4 GB | bee59697f22b |
| OProver-32B.Q4_K_M.gguf | Weights | 19.8 GB | 04d7182a087f |
| OProver-32B.Q4_K_S.gguf | Weights | 18.8 GB | ad46d34d6d81 |
| OProver-32B.Q5_K_M.gguf | Weights | 23.2 GB | b2e83e2ea1b5 |
| OProver-32B.Q5_K_S.gguf | Weights | 22.6 GB | 9d806e26f495 |
| OProver-32B.Q6_K.gguf | Weights | 26.9 GB | 2d4984700c88 |
| OProver-32B.Q8_0.gguf | Weights | 34.8 GB | 0de1284207e6 |
| README.md | Documentation | 3.7 KB | — |
| .gitattributes | Repository | 2.2 KB | — |
License and Download
- License
- apache-2.0
- Access
- Open weights, no gate
- Download size
- 224.0 GB
Released by Team Mradermacher through its official repository on Hugging Face. Read the license.
Built From
- Derived from m-a-p/OProver-32B
- Quantized from m-a-p/OProver-32B
- Trained on (disclosed) m-a-p/OProofs
Memory Requirements
| Precision | Weights in memory |
|---|---|
| As published | 224.0 GB |
Weights only, from the published parameter count; the key-value cache and runtime add to this.
Questions About OProver-32B-GGUF
Can I use OProver-32B-GGUF commercially?
Yes. OProver-32B-GGUF is released under Apache License 2.0. The Apache License 2.0 is a permissive open-source license. It permits commercial use, modification and redistribution. It requires keeping the license and copyright notices and any NOTICE file, stating significant changes, and it includes an express patent grant from contributors.