DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity

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

Browse Source 
Model: DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF
Source: Original Platform
This commit is contained in:
ModelHub XC
2026-05-29 08:10:12 +08:00
commit fd1040062e
15 changed files with 117 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

60
.gitattributes vendored Normal file
View File

@@ -0,0 +1,60 @@
*.7z filter=lfs diff=lfs merge=lfs -text
*.arrow filter=lfs diff=lfs merge=lfs -text
*.bin filter=lfs diff=lfs merge=lfs -text
*.bin.* filter=lfs diff=lfs merge=lfs -text
*.bz2 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
*.model filter=lfs diff=lfs merge=lfs -text
*.msgpack 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
*.pt filter=lfs diff=lfs merge=lfs -text
*.pth filter=lfs diff=lfs merge=lfs -text
*.rar filter=lfs diff=lfs merge=lfs -text
saved_model/**/* 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
*.xz filter=lfs diff=lfs merge=lfs -text
*.zip filter=lfs diff=lfs merge=lfs -text
*.zstandard filter=lfs diff=lfs merge=lfs -text
*.tfevents* filter=lfs diff=lfs merge=lfs -text
*.db* filter=lfs diff=lfs merge=lfs -text
*.ark* filter=lfs diff=lfs merge=lfs -text
**/*ckpt*data* filter=lfs diff=lfs merge=lfs -text
**/*ckpt*.meta filter=lfs diff=lfs merge=lfs -text
**/*ckpt*.index filter=lfs diff=lfs merge=lfs -text
*.safetensors filter=lfs diff=lfs merge=lfs -text
*.ckpt filter=lfs diff=lfs merge=lfs -text
*.ggml filter=lfs diff=lfs merge=lfs -text
*.llamafile* filter=lfs diff=lfs merge=lfs -text
*.pt2 filter=lfs diff=lfs merge=lfs -text
*.mlmodel filter=lfs diff=lfs merge=lfs -text
*.npy filter=lfs diff=lfs merge=lfs -text
*.npz filter=lfs diff=lfs merge=lfs -text
*.pickle filter=lfs diff=lfs merge=lfs -text
*.pkl filter=lfs diff=lfs merge=lfs -text
*.tar filter=lfs diff=lfs merge=lfs -text
*.wasm filter=lfs diff=lfs merge=lfs -text
*.zst filter=lfs diff=lfs merge=lfs -text
*tfevents* filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.f16-00002-of-00002.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.f16-00001-of-00002.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
Goedel-LM.Goedel-Prover-V2-32B.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text

3
Goedel-LM.Goedel-Prover-V2-32B.Q2_K.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_L.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_M.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q3_K_S.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q4_K_M.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q4_K_S.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q5_K_M.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q5_K_S.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q6_K.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.Q8_0.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.f16-00001-of-00002.gguf Normal file
View File

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

3
Goedel-LM.Goedel-Prover-V2-32B.f16-00002-of-00002.gguf Normal file
View File

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

20
README.md Normal file
View File

@@ -0,0 +1,20 @@
---
base_model:
- Goedel-LM/Goedel-Prover-V2-32B
pipeline_tag: text-generation
---
[<img src="https://raw.githubusercontent.com/csabakecskemeti/devquasar/main/dq_logo_black-transparent.png" width="200"/>](https://devquasar.com)
Quantized version of: [Goedel-LM/Goedel-Prover-V2-32B](https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B)
'Make knowledge free for everyone'
<p align="center">
Made with <br>
<a href="https://www.civo.com/" target="_blank">
<img src="https://www.civo.com/assets/public/brand-assets/civo-logo-colour-60cc1622dedf346f7afde1fff760523f731b0aac106a5465af98ff4073114b74.svg" width="100"/>
</a>
</p>
<a href='https://ko-fi.com/L4L416YX7C' target='_blank'><img height='36' style='border:0px;height:36px;' src='https://storage.ko-fi.com/cdn/kofi6.png?v=6' border='0' alt='Buy Me a Coffee at ko-fi.com' /></a>

1
configuration.json Normal file
View File

@@ -0,0 +1 @@
{"framework": "pytorch", "task": "text-generation", "allow_remote": true}