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 Benchmarks
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
What is the LLM Explorer Rank (Score)
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 | 2025-09-23 |
| Maintainer | internlm |
| Model Type | internlm2 |
| Model Files | |
| 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 |
Best Alternatives to Internlm2 5 Step Prover
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| ShareCaptioner Video | 32K / 17.2 GB | 986 | 19 |
| Songcomposer Sft | 32K / 16.7 GB | 61 | 15 |
| Songcomposer Pretrain | 32K / 16.7 GB | 19 | 5 |
| MMedLM2 | 32K / 30.9 GB | 47 | 12 |
| Internlm2 Step Prover | 8K / 15.4 GB | 115 | 22 |
Rank the Internlm2 5 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! 🌟
What open-source LLMs or SLMs are you in search of? 51545 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124