HF Model & Benchmark Matrix

24,078 variants · 14,984 scores · 120 benchmarks

DeepSeek-Prover-V1.5-SFT

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

kind
original
quant
bf16 (16-bit)
family
deepseek
modality
—
root model
deepseek-ai/DeepSeek-Prover-V1.5-Base
provider
deepseek-ai
license
other
language
—
context
—
library
—
vRAM (GB)
—
size on disk
—
downloads
392
likes
14
created
—
last modified
2024-08-29T12:14:35+00:00 (2024)
huggingface
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-SFT
tags
safetensorsllamaarxiv:2408.08152base_model:deepseek-ai/DeepSeek-Prover-V1.5-Basebase_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-Baselicense:otherregion:us

Benchmark scores (1)

benchmarkcategoryscorecontextconfevidence
miniF2Fmath26.5low| **ReProver** | 26.5% | 13.8% |

Discussions (0)

none scraped.

Hugging Face model & benchmark data scraped & matrix-ified. 24,078 variants · 14,984 scores · 120 benchmarks.