mradermacher/BFS-Prover-V1-7B-i1-GGUF
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity

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

Browse Source 
Model: mradermacher/BFS-Prover-V1-7B-i1-GGUF
Source: Original Platform
This commit is contained in:
ModelHub XC
2026-05-11 11:11:37 +08:00
commit 94b022365c
27 changed files with 228 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
*.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
BFS-Prover-V1-7B.imatrix.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ3_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ3_XXS.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ4_NL.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ2_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q2_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ4_XS.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ1_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ2_XXS.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ2_XS.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ2_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ1_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q4_0.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ3_XS.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-Q4_1.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V1-7B.i1-IQ3_S.gguf filter=lfs diff=lfs merge=lfs -text

3
BFS-Prover-V1-7B.i1-IQ1_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ1_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ2_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ2_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ2_XS.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ2_XXS.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ3_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ3_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ3_XS.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ3_XXS.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ4_NL.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-IQ4_XS.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q2_K.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q2_K_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q3_K_L.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q3_K_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q3_K_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q4_0.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q4_1.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q4_K_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q4_K_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q5_K_M.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q5_K_S.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.i1-Q6_K.gguf Normal file
View File

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

3
BFS-Prover-V1-7B.imatrix.gguf Normal file
View File

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

93
README.md Normal file
View File

@@ -0,0 +1,93 @@
---
base_model: ByteDance-Seed/BFS-Prover-V1-7B
datasets:
- internlm/Lean-Workbook
- internlm/Lean-Github
- AI-MO/NuminaMath-CoT
language:
- en
library_name: transformers
license: apache-2.0
mradermacher:
readme_rev: 1
quantized_by: mradermacher
tags:
- lean4
- theorem-proving
- formal-mathematics
---
## About
<!-- ### quantize_version: 2 -->
<!-- ### output_tensor_quantised: 1 -->
<!-- ### convert_type: hf -->
<!-- ### vocab_type: -->
<!-- ### tags: nicoboss -->
<!-- ### quants: Q2_K IQ3_M Q4_K_S IQ3_XXS Q3_K_M small-IQ4_NL Q4_K_M IQ2_M Q6_K IQ4_XS Q2_K_S IQ1_M Q3_K_S IQ2_XXS Q3_K_L IQ2_XS Q5_K_S IQ2_S IQ1_S Q5_K_M Q4_0 IQ3_XS Q4_1 IQ3_S -->
<!-- ### quants_skip: -->
<!-- ### skip_mmproj: -->
weighted/imatrix quants of https://huggingface.co/ByteDance-Seed/BFS-Prover-V1-7B
<!-- provided-files -->
***For a convenient overview and download list, visit our [model page for this model](https://hf.tst.eu/model#BFS-Prover-V1-7B-i1-GGUF).***
static quants are available at https://huggingface.co/mradermacher/BFS-Prover-V1-7B-GGUF
## Usage
If you are unsure how to use GGUF files, refer to one of [TheBloke's
READMEs](https://huggingface.co/TheBloke/KafkaLM-70B-German-V0.1-GGUF) 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](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.imatrix.gguf) | imatrix | 0.1 | imatrix file (for creating your own quants) |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ1_S.gguf) | i1-IQ1_S | 2.0 | for the desperate |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ1_M.gguf) | i1-IQ1_M | 2.1 | mostly desperate |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_XXS.gguf) | i1-IQ2_XXS | 2.4 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_XS.gguf) | i1-IQ2_XS | 2.6 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_S.gguf) | i1-IQ2_S | 2.7 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ2_M.gguf) | i1-IQ2_M | 2.9 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q2_K_S.gguf) | i1-Q2_K_S | 2.9 | very low quality |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q2_K.gguf) | i1-Q2_K | 3.1 | IQ3_XXS probably better |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_XXS.gguf) | i1-IQ3_XXS | 3.2 | lower quality |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_XS.gguf) | i1-IQ3_XS | 3.4 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_S.gguf) | i1-Q3_K_S | 3.6 | IQ3_XS probably better |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_S.gguf) | i1-IQ3_S | 3.6 | beats Q3_K* |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ3_M.gguf) | i1-IQ3_M | 3.7 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_M.gguf) | i1-Q3_K_M | 3.9 | IQ3_S probably better |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q3_K_L.gguf) | i1-Q3_K_L | 4.2 | IQ3_M probably better |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ4_XS.gguf) | i1-IQ4_XS | 4.3 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-IQ4_NL.gguf) | i1-IQ4_NL | 4.5 | prefer IQ4_XS |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_0.gguf) | i1-Q4_0 | 4.5 | fast, low quality |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_K_S.gguf) | i1-Q4_K_S | 4.6 | optimal size/speed/quality |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_K_M.gguf) | i1-Q4_K_M | 4.8 | fast, recommended |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q4_1.gguf) | i1-Q4_1 | 5.0 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q5_K_S.gguf) | i1-Q5_K_S | 5.4 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q5_K_M.gguf) | i1-Q5_K_M | 5.5 | |
| [GGUF](https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF/resolve/main/BFS-Prover-V1-7B.i1-Q6_K.gguf) | i1-Q6_K | 6.4 | practically like static Q6_K |
Here is a handy graph by ikawrakow comparing some lower-quality quant
types (lower is better):
![image.png](https://www.nethype.de/huggingface_embed/quantpplgraph.png)
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](https://www.nethype.de/), for letting
me use its servers and providing upgrades to my workstation to enable
this work in my free time. Additional thanks to [@nicoboss](https://huggingface.co/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.
<!-- end -->