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

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.

Run this model

This model’s file is hosted here and can be downloaded, but no tested run command is published for it yet, so there is no run command to show. A model file doesn’t run on its own: open it with a free program like LM Studio, Ollama or llama.cpp.

Open the hosted files

Open the checked run record

Canonical evidence JSON Citation packet

BFS-Prover-GGUF

Run this model

Cookies