HF Model & Benchmark Matrix

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

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

family deepseek · 1 variants · unknown

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

Best scores per benchmark

benchmarkcategorybest score
miniF2Fmath26.5

Variants (1)

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