HF Model & Benchmark Matrix

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

Home/Models/deepseek-ai/DeepSeek-Prover-V1

DeepSeek-Prover-V1

deepseek-ai/DeepSeek-Prover-V1

kind: original
quant: bf16 (16-bit)
family: deepseek
modality: —
root model: deepseek-ai/DeepSeek-Prover-V1
provider: deepseek-ai
license: other
language: —
context: —
library: —
vRAM (GB): —
size on disk: —
downloads: 82
likes: 12
created: —
last modified: 2024-08-29T12:13:28+00:00 (2024)
huggingface: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1
tags: safetensorsllamaarxiv:2405.14333license:otherregion:us

Benchmark scores (1)

benchmark	category	score	context	conf	evidence
miniF2F	math	26.5		low	`\| ReProver \| 26.5% \|`

Discussions (0)

none scraped.

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