commit fd1040062e50f381b39ac5e18b81fe6a4c9aa4f4
Author: ModelHub XC <noreply@modelhub.org.cn>
Date:   Fri May 29 08:10:12 2026 +0800

    初始化项目，由ModelHub XC社区提供模型
    
    Model: DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF
    Source: Original Platform

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..cd51c79
--- /dev/null
+++ b/.gitattributes
@@ -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
\ No newline at end of file
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q2_K.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q2_K.gguf
new file mode 100644
index 0000000..41958bb
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q2_K.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7de18919b67f2471e64c837dca15613175746745fc7d2528d002ad2c02f86736
+size 12344651776
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_L.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_L.gguf
new file mode 100644
index 0000000..02139ad
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_L.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9b6c98c3792e7387a6b57c43888a16d75479b29d490fe454ecae618dbf153786
+size 17330994176
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_M.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_M.gguf
new file mode 100644
index 0000000..0fbe6cf
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7179570280ffb964ae65b994758b85c30b82371bdca657d701e7bb0f08923e3a
+size 15971777536
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_S.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_S.gguf
new file mode 100644
index 0000000..a5f5daa
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q3_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9e8f4a68b6812946024d620f2189c0617d383420f43d24b8e48c2629148d6769
+size 14389738496
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_M.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_M.gguf
new file mode 100644
index 0000000..502d6b8
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3311ce60b831084ee0a85669de6a064105a5a6d9a2044a8ac030bcc2af3569bd
+size 19762149376
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_S.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_S.gguf
new file mode 100644
index 0000000..dcee68a
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q4_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:242313a06a4d7ccbbf9b52c411ae7a4f03b5fd2fe9685379daa264c20f7b8a82
+size 18771245056
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_M.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_M.gguf
new file mode 100644
index 0000000..f009550
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4f0f12d759428f8a92540072b37469495e1c0440c8acf4e3856e31c02b30c295
+size 23214831616
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_S.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_S.gguf
new file mode 100644
index 0000000..6075ffa
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q5_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9c34973d0484e47626462b4c121a38473db902a9b750cdfe39fe31346529deda
+size 22635493376
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q6_K.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q6_K.gguf
new file mode 100644
index 0000000..e36d8bf
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q6_K.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:698e7c68b285755a3cc5feec9fbd865ad4407974cabe60cb937cad36b48d3bd3
+size 26883306496
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.Q8_0.gguf b/Goedel-LM.Goedel-Prover-V2-32B.Q8_0.gguf
new file mode 100644
index 0000000..29e1f58
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.Q8_0.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f8682feca70267dd51ac4e6d9ce77c2446b5c9828735a4b7f56a72b70277a383
+size 34817719296
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.f16-00001-of-00002.gguf b/Goedel-LM.Goedel-Prover-V2-32B.f16-00001-of-00002.gguf
new file mode 100644
index 0000000..08e8a46
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.f16-00001-of-00002.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:14ade9587125de7e73174830a2ba2f976d6528cb941148236c332aed6a132eed
+size 39857436864
diff --git a/Goedel-LM.Goedel-Prover-V2-32B.f16-00002-of-00002.gguf b/Goedel-LM.Goedel-Prover-V2-32B.f16-00002-of-00002.gguf
new file mode 100644
index 0000000..59b5b60
--- /dev/null
+++ b/Goedel-LM.Goedel-Prover-V2-32B.f16-00002-of-00002.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:33d51e949effa6745c34c249bcb3c20d42e901bc816e29586648061d445d1315
+size 25674138656
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..561ff2d
--- /dev/null
+++ b/README.md
@@ -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>
diff --git a/configuration.json b/configuration.json
new file mode 100644
index 0000000..bbeeda1
--- /dev/null
+++ b/configuration.json
@@ -0,0 +1 @@
+{"framework": "pytorch", "task": "text-generation", "allow_remote": true}
\ No newline at end of file