HF Model & Benchmark Matrix

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

DeepSeek-Prover-V1.5-RL

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

kind
original
quant
bf16 (16-bit)
family
deepseek
modality
—
root model
deepseek-ai/DeepSeek-Prover-V1.5-SFT
provider
deepseek-ai
license
other
language
—
context
—
library
—
vRAM (GB)
—
size on disk
—
downloads
1,782
likes
66
created
—
last modified
2024-08-29T12:13:55+00:00 (2024)
huggingface
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL
tags
safetensorsllamaarxiv:2408.08152base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFTbase_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFTlicense: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.