HF Model & Benchmark Matrix

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

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

DeepSeek-Prover-V1.5-Base

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

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: 424
likes: 19
created: —
last modified: 2024-08-29T12:15:00+00:00 (2024)
huggingface: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base
tags: safetensorsllamaarxiv:2408.08152license:otherregion:us

Benchmark scores (1)

benchmark	category	score	context	conf	evidence
miniF2F	math	26.5		low	`\| 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.