OProver-8B Specialist
Where it runs 8K context · ≥ 5 t/s floor
| Setup | Best plan | Memory | Generate |
|---|---|---|---|
| 8 GB GPU + 32 GB RAM | Q4_K_Mllama.cpp CUDAFull GPU | Fits | ~29–42 t/s Estimated |
| 12 GB GPU + 32 GB RAM | Q8_0llama.cpp CUDAFull GPU | Fits | ~30–32 t/s Estimated |
| 16 GB GPU + 64 GB RAM | Q8_0llama.cpp CUDAFull GPU | Fits | ~61–75 t/s Estimated |
| 24 GB GPU + 64 GB RAM | FP16llama.cpp CUDAFull GPU | Fits | ~34–43 t/s Estimated |
| 32 GB GPU + 128 GB RAM | FP16llama.cpp CUDAFull GPU | Fits | ~53–85 t/s Estimated |
| 2× 24 GB GPUs + 128 GB RAM | FP16llama.cpp CUDAFull GPU | Fits | ~31–40 t/s Estimated |
| 96 GB workstation GPU + 256 GB RAM | FP16llama.cpp CUDAFull GPU | Fits | ~55–86 t/s Estimated |
| Mac, 24 GB | FP16llama.cpp MetalUnified memory | Fits | ~11–14 t/s Estimated |
| Mac, 48 GB | FP16llama.cpp MetalUnified memory | Fits | ~11–14 t/s Estimated |
| Mac, 128 GB | FP16llama.cpp MetalUnified memory | Fits | ~19–28 t/s Estimated |
| Mac, 512 GB | FP16llama.cpp MetalUnified memory | Fits | ~21–32 t/s Estimated |
| DGX Spark 128 GB | FP16llama.cpp CUDAUnified memory | Fits | ~12–14 t/s Estimated |
| Ryzen AI Max+ 395, 128 GB | FP16llama.cpp VulkanUnified memory | Fits | ~8.2–12 t/s Estimated |
| CPU only, 64 GB DDR5-5600 dual channel | Q4_K_Mllama.cpp CPUCPU only | Fits | ~3.6–4.3 t/s Estimated extrapolated |
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/OProver-8B-GGUF | 15.26 GiB | 1 | be534ee48f | HF files |
| Q8_0 mradermacher/OProver-8B-GGUF | 8.11 GiB | 1 | be534ee48f | HF files |
| Q5_K_M mradermacher/OProver-8B-GGUF | 5.45 GiB | 1 | be534ee48f | HF files |
| Q4_K_M mradermacher/OProver-8B-GGUF | 4.68 GiB | 1 | be534ee48f | HF files |
| Native safetensors BF16 m-a-p/OProver-8B | 15.26 GiB | 4 | cd9ffd383b | HF files |
Not found in the representative quant search (not proven unavailable): MLX 8-bit, MLX 4-bit, 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.