HF Model & Benchmark Matrix

24,078 variants · 14,984 scores · 120 benchmarks
Home/Orgs/internlm/internlm/internlm2-step-prover

internlm/internlm2-step-prover

family internlm · 1 variants · unknown

provider
internlm
released
—
huggingface
https://huggingface.co/internlm/internlm2-step-prover
best scores
miniF2F: 46.3MATH: 43.4

Best scores per benchmark

benchmarkcategorybest score
miniF2Fmath46.3
MATHmath43.4

Variants (1)

variantkindquantbitsvRAMdlorgyear
internlm2-step-proveroriginalbf1616.036internlm2024
Hugging Face model & benchmark data scraped & matrix-ified. 24,078 variants · 14,984 scores · 120 benchmarks.