BFS-Prover-GGUF GGUF download (4.68 GB) | Hugging Bay

Q: What is this model?

QuantFactory/BFS-Prover-GGUF is an open-weights language model for text generation published by QuantFactory, added to Hugging Bay Jun 30, 2026. Model from Hugging Face for text generation: QuantFactory/BFS-Prover-GGUF · transformers

Q: Can I use it commercially?

It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted.

Q: How big is it?

Hosted here: 1 file, 4.68 GB. Full repo upstream: 69 GB. The recommended download, BFS-Prover.Q4_K_M.gguf (Q4_K_M), is 4.68 GB.

Q: What can I download here?

Hosted here: 1 file, 4.68 GB. Full repo upstream: 69 GB. The original release is at https://huggingface.co/QuantFactory/BFS-Prover-GGUF.

Q: File pattern scans

Automated file-pattern scans flagged nothing; not a safety guarantee. 1 hosted file carries a published SHA-256 you can re-hash. The machine-readable verdict is at /api/artifacts/hf-model-quantfactory-bfs-prover-gguf/safety on Hugging Bay.

Q: Will QuantFactory/BFS-Prover-GGUF run on my computer?

We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked.

QuantFactory

BFS-Prover-GGUF

Try browser chat with a small demo model (a separate model; device support is checked before loading).

QuantFactory/BFS-Prover-GGUF

Model details

text generationLicense: apache-2.0SHA-256 recorded for 14 of 16 filesGGUF

Content controls: not assessed.

The catalog lists this model for having conversations. Catalog sources: license, cardMetadata.license, tags, task, cardMetadata.pipelineTag.

View as JSON →

Your next step

Use it from code

This Python snippet downloads the selected file. Running the model needs its own library and setup.

from urllib.request import urlretrieve

urlretrieve(
    "https://huggingbay.xyz/api/downloads/hf-model-quantfactory-bfs-prover-gguf/BFS-Prover.Q4_K_M.gguf",
    "BFS-Prover.Q4_K_M.gguf",
)

Other ways

Run it on your computerOpen in Hugging Bay appSend to a computerMac (Apple silicon) and Linux x86_64 installs are listed on the download page. Windows and Intel Mac are not yet. The app checks this model before you choose to download.

1 hosted of 16 listed · Hashes recorded. Date not recorded.

Selected downloadBFS-Prover.Q4_K_M.gguf4.68 GB · 1 file Download · 4.68 GB (1 file)

Open-file help

Content controls: not assessed.

Check your download →

Compare your file’s SHA-256 with the recorded hash.

1 hosted of 16 listed

Hashes recorded. Date not recorded.

File	Size	SHA-256	Source	Download
Weights
`BFS-Prover.Q4_K_M.gguf` Default	4.68 GB	`e7fe2838…e2ed390b` `e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b`	Hosted	Download
`BFS-Prover.Q2_K.gguf`	3.02 GB	`c6a895ba…109c8b7e` `c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e`	Upstream only	File metadata
`BFS-Prover.Q3_K_L.gguf`	4.09 GB	`07063ba9…e1467889` `07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889`	Upstream only	File metadata
`BFS-Prover.Q3_K_M.gguf`	3.81 GB	`fd78bdf1…487c3f7d` `fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d`	Upstream only	File metadata
`BFS-Prover.Q3_K_S.gguf`	3.49 GB	`72369040…27e423e8` `72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8`	Upstream only	File metadata
`BFS-Prover.Q4_0.gguf`	4.43 GB	`de96fa34…4a0ea5b4` `de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4`	Upstream only	File metadata
`BFS-Prover.Q4_1.gguf`	4.87 GB	`4aa4aed2…3d80ab67` `4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67`	Upstream only	File metadata
`BFS-Prover.Q4_K_S.gguf`	4.46 GB	`e0d9939b…6219c4fa` `e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa`	Upstream only	File metadata
`BFS-Prover.Q5_0.gguf`	5.32 GB	`11c5d50b…6730efb2` `11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2`	Upstream only	File metadata
`BFS-Prover.Q5_1.gguf`	5.76 GB	`64294b28…eccdfe45` `64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45`	Upstream only	File metadata
`BFS-Prover.Q5_K_M.gguf`	5.44 GB	`fc1435eb…de05b271` `fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271`	Upstream only	File metadata
`BFS-Prover.Q5_K_S.gguf`	5.32 GB	`1e0de59d…666abeb5` `1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5`	Upstream only	File metadata
`BFS-Prover.Q6_K.gguf`	6.25 GB	`1ec95396…312f6fd5` `1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5`	Upstream only	File metadata
`BFS-Prover.Q8_0.gguf`	8.1 GB	`343089e3…03e9098e` `343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e`	Upstream only	File metadata
Docs
`.gitattributes`	2.33 KB	—	Upstream only	File metadata
`README.md`	4.93 KB	—	Upstream only	File metadata

Check a download

In the folder where you saved BFS-Prover.Q4_K_M.gguf, run:

macOS

shasum -a 256 -- 'BFS-Prover.Q4_K_M.gguf'

Linux

sha256sum -- 'BFS-Prover.Q4_K_M.gguf'

Windows

Get-FileHash -LiteralPath 'BFS-Prover.Q4_K_M.gguf' -Algorithm SHA256

Compare the result with the recorded SHA-256.

BFS-Prover-GGUF

Check a download

Cookies