BFS-Prover-V2-7B Specialist
ByteDance-Seed/BFS-Prover-V2-7B
Where it runs 8K context · ≥ 5 t/s floor
| Setup | Best plan | Memory | Generate |
|---|---|---|---|
| 8 GB GPU + 32 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 12 GB GPU + 32 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 16 GB GPU + 64 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 24 GB GPU + 64 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 32 GB GPU + 128 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 2× 24 GB GPUs + 128 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| 96 GB workstation GPU + 256 GB RAM | Context 8K exceeds this model's configured maximum (4K) | ||
| Mac, 24 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| Mac, 48 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| Mac, 128 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| Mac, 512 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| DGX Spark 128 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| Ryzen AI Max+ 395, 128 GB | Context 8K exceeds this model's configured maximum (4K) | ||
| CPU only, 64 GB DDR5-5600 dual channel | Context 8K exceeds this model's configured maximum (4K) | ||
Same plan engine as the planner, with its default reserves and RAM. How plans are chosen.
Files exact Hugging Face bytes
| Artifact | Size | Files | Revision | Source |
|---|---|---|---|---|
| FP16 mradermacher/BFS-Prover-V2-7B-GGUF | 14.19 GiB | 1 | f50ff15393 | HF files |
| Q8_0 mradermacher/BFS-Prover-V2-7B-GGUF | 7.54 GiB | 1 | f50ff15393 | HF files |
| Q5_K_M mradermacher/BFS-Prover-V2-7B-GGUF | 5.07 GiB | 1 | f50ff15393 | HF files |
| Q4_K_M mradermacher/BFS-Prover-V2-7B-GGUF | 4.36 GiB | 1 | f50ff15393 | HF files |
| MLX 8-bit 8-bit khanh2023/BFS-Prover-V2-7B-mlx-mxfp8 | 7.31 GiB | 2 | bf1c02fa7a | HF files |
| MLX 4-bit 4-bit khanh2023/BFS-Prover-V2-7B-mlx-mxfp4 | 3.77 GiB | 1 | bc285e1ca5 | HF files |
| Native safetensors BF16 ByteDance-Seed/BFS-Prover-V2-7B | 14.19 GiB | 4 | 533d59fc6b | HF files |
Not found in the representative quant search (not proven unavailable): EXL3, AWQ, GPTQ. Complete selected file sets; projectors, MTP/draft and lookup files are listed separately and budgeted only by plans that use them. File bytes are not allocated memory.
Quality
No Artificial Analysis evaluation mapped to this checkpoint.
Arena text rating
Unknown
Publisher-reported benchmarks
None extracted from the model card.
AA and Arena describe the hosted model in the stated mode, not each quantized file; scores are never inherited by base, pruned, abliterated or quantized variants and never averaged together.
How to run it
No model-specific recipe in the research. The planner binds the backend’s documented command template (llama.cpp, Ollama, LM Studio, MLX, vLLM) to your plan: open a plan’s details.
Recipes are source examples (settings are the publisher’s or author’s, not measured optima) and were not executed by LocalFit. A downloadable file does not prove your backend build supports the architecture.
Reported speeds 0
No reported measurement yet. Submit one.