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

Model: DevQuasar/bytedance-research.BFS-Prover-GGUF
Source: Original Platform

.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

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>

bytedance-research.BFS-Prover.Q2_K.gguf

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

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

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

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

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

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

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

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

bytedance-research.BFS-Prover.Q6_K.gguf

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

bytedance-research.BFS-Prover.Q8_0.gguf

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

bytedance-research.BFS-Prover.f16.gguf

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

configuration.json

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