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-critic
Internlm2 5 Step Prover Critic 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 Critic Parameters and Internals
| LLM Name | Internlm2 5 Step Prover Critic |
| Repository 🤗 | https://huggingface.co/internlm/internlm2_5-step-prover-critic |
| Required VRAM | 3.4 GB |
| Updated | 2025-09-23 |
| Maintainer | internlm |
| Model Type | internlm2 |
| Model Files | |
| Supported Languages | en |
| Model Architecture | InternLM2ForRewardModel |
| License | other |
| Context Length | 32768 |
| Model Max Length | 32768 |
| Transformers Version | 4.42.3 |
| Is Biased | 0 |
| Tokenizer Class | InternLM2Tokenizer |
| Padding Token | </s> |
| Vocabulary Size | 92544 |
| Torch Data Type | float16 |
Rank the Internlm2 5 Step Prover Critic 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? 51544 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124