Internlm2 5 Step Prover Critic by internlm

 ยป  All LLMs  ยป  internlm  ยป  Internlm2 5 Step Prover Critic   URL Share it on

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

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").

Internlm2 5 Step Prover Critic Parameters and Internals

LLM NameInternlm2 5 Step Prover Critic
Repository ๐Ÿค—https://huggingface.co/internlm/internlm2_5-step-prover-critic 
Required VRAM3.4 GB
Updated2024-11-10
Maintainerinternlm
Model Typeinternlm2
Model Files  2.0 GB: 1-of-2   1.4 GB: 2-of-2
Supported Languagesen
Model ArchitectureInternLM2ForRewardModel
Licenseother
Context Length32768
Model Max Length32768
Transformers Version4.42.3
Is Biased0
Tokenizer ClassInternLM2Tokenizer
Padding Token</s>
Vocabulary Size92544
Torch Data Typefloat16
Internlm2 5 Step Prover Critic (internlm/internlm2_5-step-prover-critic)

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! ๐ŸŒŸ

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? 37725 in total.

Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v2024072803