internlm2_5-step-prover

Home/Models/internlm/internlm2_5-step-prover

internlm/internlm2_5-step-prover

kind: original
quant: bf16 (16-bit)
family: internlm
modality: text-generation
root model: internlm/internlm2_5-step-prover
provider: internlm
license: other
language: en
context: —
library: —
vRAM (GB): —
size on disk: —
downloads: 488
likes: 5
created: —
last modified: 2024-10-22T16:17:02+00:00 (2024)
huggingface: https://huggingface.co/internlm/internlm2_5-step-prover
tags: pytorchinternlm2mathtext-generationconversationalcustom_codeendataset:internlm/Lean-Workbookdataset:internlm/Lean-Githubarxiv:2410.15700license:otherregion:us

benchmark	category	score	context	conf	evidence
miniF2F	math	46.3		high	`\| \| \| 64 \| - \| 46.3% \|`
MATH	math	43.4	InternLM2-Math-Plus	medium	`\| InternLM2-Math-Plus \| 7B \| 1 \| - \| 43.4% \|`
MATH	math	29.9	InternLM2-Math	medium	`\| InternLM2-Math \| 7B \| 1 \| 29.9% \| 30.3% \|`

none scraped.