commit 7fe8e951bf4a2e5513d7339e1f203affc1f5c69a
Author: ModelHub XC <noreply@modelhub.org.cn>
Date:   Tue Jul 28 03:28:06 2026 +0800

    初始化项目，由ModelHub XC社区提供模型
    
    Model: DevQuasar/bytedance-research.BFS-Prover-GGUF
    Source: Original Platform

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..eecd174
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,46 @@
+*.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
+bytedance-research.BFS-Prover.f16.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
+bytedance-research.BFS-Prover.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7b4b216
--- /dev/null
+++ b/README.md
@@ -0,0 +1,20 @@
+---
+base_model:
+- bytedance-research/BFS-Prover
+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: [bytedance-research/BFS-Prover](https://huggingface.co/bytedance-research/BFS-Prover)
+
+'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/bytedance-research.BFS-Prover.Q2_K.gguf b/bytedance-research.BFS-Prover.Q2_K.gguf
new file mode 100644
index 0000000..8814a3b
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q2_K.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:651395ea4d0d8bfda52be70c8c125318ed09f718dae559dcabb48fd7ce6b2dac
+size 3015941056
diff --git a/bytedance-research.BFS-Prover.Q3_K_L.gguf b/bytedance-research.BFS-Prover.Q3_K_L.gguf
new file mode 100644
index 0000000..651a978
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q3_K_L.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:bc2cdaee0bb85575194b793092413f00f719f8c13f7d36e08d804c91b9205e7f
+size 4088460224
diff --git a/bytedance-research.BFS-Prover.Q3_K_M.gguf b/bytedance-research.BFS-Prover.Q3_K_M.gguf
new file mode 100644
index 0000000..5a0f4ba
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q3_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:73332c65a6d5b475b17e0898cbc48620d5cb92349e7e7d2b84ce4233b62a2910
+size 3808392128
diff --git a/bytedance-research.BFS-Prover.Q3_K_S.gguf b/bytedance-research.BFS-Prover.Q3_K_S.gguf
new file mode 100644
index 0000000..d3821e3
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q3_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:13c0f3c41d5416752946acf8ee80604c37d8afb9e00326c5dc657e986f7a2e60
+size 3492369344
diff --git a/bytedance-research.BFS-Prover.Q4_K_M.gguf b/bytedance-research.BFS-Prover.Q4_K_M.gguf
new file mode 100644
index 0000000..4f30072
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q4_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:557e8b77f51e21b55fa562a91163c113161eb6e3afe144c52c322d2b0b9e841c
+size 4683074496
diff --git a/bytedance-research.BFS-Prover.Q4_K_S.gguf b/bytedance-research.BFS-Prover.Q4_K_S.gguf
new file mode 100644
index 0000000..3bf95f9
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q4_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0a84d064c9fa4435e78930b68d57c35558bd5471cbe91fc88f682d18f5833dcf
+size 4457769920
diff --git a/bytedance-research.BFS-Prover.Q5_K_M.gguf b/bytedance-research.BFS-Prover.Q5_K_M.gguf
new file mode 100644
index 0000000..769c615
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q5_K_M.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3c8312ee4e3ac916965dc5ddef407bbfdb3ec119fc61f5f8a48db1f965799881
+size 5444832192
diff --git a/bytedance-research.BFS-Prover.Q5_K_S.gguf b/bytedance-research.BFS-Prover.Q5_K_S.gguf
new file mode 100644
index 0000000..761822e
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q5_K_S.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3ccd08ad1f5e0538562daf6732ce874231d777888c9b32917d6ab5b955e56bbc
+size 5315177408
diff --git a/bytedance-research.BFS-Prover.Q6_K.gguf b/bytedance-research.BFS-Prover.Q6_K.gguf
new file mode 100644
index 0000000..7fc3523
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q6_K.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1dd809f6fd16abc101b2ea831330d0ce1f1e8db5473fb318e70f30fa48a7a607
+size 6254199744
diff --git a/bytedance-research.BFS-Prover.Q8_0.gguf b/bytedance-research.BFS-Prover.Q8_0.gguf
new file mode 100644
index 0000000..6c5fbd5
--- /dev/null
+++ b/bytedance-research.BFS-Prover.Q8_0.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:777ed32d2ab6f4418bb4f82eb70d32c83b3bc2ae0e18f6aabb25aedfb047bf85
+size 8098526144
diff --git a/bytedance-research.BFS-Prover.f16.gguf b/bytedance-research.BFS-Prover.f16.gguf
new file mode 100644
index 0000000..8f94cd5
--- /dev/null
+++ b/bytedance-research.BFS-Prover.f16.gguf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0584f84311c66444ad2f893899b6d8a045faabb7d908c8959fe39b88d6580d7a
+size 15237854144
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