HF Model & Benchmark Matrix

24,078 variants · 14,984 scores · 120 benchmarks
Home/Orgs/deepseek-ai/deepseek-ai/DeepSeek-Prover-V1.5-Base

deepseek-ai/DeepSeek-Prover-V1.5-Base

family deepseek · 2 variants · unknown

provider
deepseek-ai
released
—
huggingface
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base
best scores
miniF2F: 26.5

Best scores per benchmark

benchmarkcategorybest score
miniF2Fmath26.5

Variants (2)

variantkindquantbitsvRAMdlorgyear
DeepSeek-Prover-V1.5-Baseoriginalbf1616.0424deepseek-ai2024
DeepSeek-Prover-V1.5-SFToriginalbf1616.0392deepseek-ai2024
Hugging Face model & benchmark data scraped & matrix-ified. 24,078 variants · 14,984 scores · 120 benchmarks.