What are the hardware requirements for Internlm2 5 Step Prover?

Internlm2 5 Step Prover requires approximately 15.4 GB of VRAM and supports a context window of 8K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed Internlm2 5 Step Prover and how large is it?

Internlm2 5 Step Prover is developed by internlm. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate Internlm2 5 Step Prover?

Internlm2 5 Step Prover is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

Internlm2 5 Step Prover by internlm — VRAM 15.4GB, 8K context

Name: Internlm2 5 Step Prover
Author: internlm

Internlm2 5 Step Prover is an open-source language model by internlm. Features: LLM, VRAM: 15.4GB, Context: 8K, License: other, LLM Explorer Score: 0.16.

Arxiv:2410.15700 Conversational Custom code Dataset:internlm/lean-github Dataset:internlm/lean-workbook En Internlm2 Math Pytorch Region:us Sharded

Model Card on HF 🤗: https://huggingface.co/internlm/internlm2_5-step-prover

Internlm2 5 Step Prover Parameters and Internals

LLM Name	Internlm2 5 Step Prover
Repository 🤗	https://huggingface.co/internlm/internlm2_5-step-prover
Required VRAM	15.4 GB
Updated	2026-07-28
Maintainer	internlm
Model Type	internlm2
Model Files	1.9 GB: 1-of-8 1.9 GB: 2-of-8 2.0 GB: 3-of-8 1.9 GB: 4-of-8 2.0 GB: 5-of-8 1.9 GB: 6-of-8 2.0 GB: 7-of-8 1.8 GB: 8-of-8
Supported Languages	en
Model Architecture	InternLM2ForCausalLM
License	other
Context Length	8192
Model Max Length	8192
Transformers Version	4.40.2
Is Biased	0
Tokenizer Class	InternLM2Tokenizer
Padding Token	</s>
Vocabulary Size	92544
Torch Data Type	float16

Rank the Internlm2 5 Step Prover capabilities

Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.

Instruction Following and Task Automation
Factuality and Completeness of Knowledge
Censorship and Alignment
Data Analysis and Insight Generation
Text Generation
Text Summarization and Feature Extraction
Code Generation
Multi-Language Support and Translation

Best Alternatives to Internlm2 5 Step Prover

Best Alternatives	Context / RAM	Downloads	Likes
ShareCaptioner Video	32K / 17.2 GB	95	19
Songcomposer Sft	32K / 16.7 GB	68	16
Songcomposer Pretrain	32K / 16.7 GB	26	5
MMedLM2	32K / 30.9 GB	12	12
Internlm2 Step Prover	8K / 15.4 GB	36	23