LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  Agents   Benchmarks   LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

Internlm2 Step Prover by internlm

 »  All LLMs  »  internlm  »  Internlm2 Step Prover   URL Share it on

  888   

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

  Arxiv:2407.17227   Conversational   Custom code   En   Feature-extraction   Internlm2   Math   Pytorch   Region:us   Sharded
Model Card on HF 🤗: https://huggingface.co/internlm/internlm2-step-prover 

Internlm2 Step Prover Benchmarks

LLME Score: 0.15488
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Internlm2 Step Prover (internlm/internlm2-step-prover)
🌟 Advertise your project 🚀

Internlm2 Step Prover Parameters and Internals

LLM NameInternlm2 Step Prover
Repository 🤗https://huggingface.co/internlm/internlm2-step-prover 
Required VRAM15.4 GB
Updated2026-05-22
Maintainerinternlm
Model Typeinternlm2
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 Languagesen
Model ArchitectureInternLM2ForCausalLM
Licenseother
Context Length8192
Model Max Length8192
Transformers Version4.40.2
Is Biased0
Tokenizer ClassInternLM2Tokenizer
Padding Token</s>
Vocabulary Size92544
Torch Data Typefloat16

Best Alternatives to Internlm2 Step Prover

Best Alternatives
Context / RAM
Downloads
Likes
ShareCaptioner Video32K / 17.2 GB90219
Songcomposer Sft32K / 16.7 GB100816
Songcomposer Pretrain32K / 16.7 GB195
MMedLM232K / 30.9 GB1412
Internlm2 5 Step Prover8K / 15.4 GB12035
Note: green Score (e.g. "73.2") means that the model is better than internlm/internlm2-step-prover.

Rank the Internlm2 Step Prover Capabilities

🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟

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  

What open-source LLMs or SLMs are you in search of? 53999 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a
  Support LLM Explorer