I

Internlm2 Math Plus 7b

Developed by internlm
InternLM-Math-Plus is the state-of-the-art bilingual open-source mathematical reasoning large language model, equipped with solving, proving, verifying, and enhancing capabilities.
Downloads 164
Release Time : 5/24/2024

Model Overview

InternLM-Math-Plus is a large language model focused on mathematical reasoning, supporting both English and Chinese, capable of solving, proving, verifying, and enhancing mathematical problems.

Model Features

Bilingual Support
Supports mathematical reasoning tasks in both English and Chinese.
Multi-scale Models
Offers four model sizes: 1.8B, 7B, 20B, and 8x22B, catering to different needs.
Mathematical Reasoning Capability
Excels in informal mathematical reasoning (chain-of-thought and code interpreter) and formal mathematical reasoning (LEAN 4 translation and LEAN 4 theorem proving).

Model Capabilities

Mathematical Problem Solving
Mathematical Theorem Proving
Mathematical Problem Verification
Mathematical Reasoning Enhancement

Use Cases

Education
Math Problem Solving
Helps students solve math problems by providing detailed reasoning processes.
Achieves an accuracy rate of 91.8 on the GSM8K dataset.
Research
Mathematical Theorem Proving
Assists researchers in proving mathematical theorems.
Achieves an accuracy rate of 43.4 on the MiniF2F-test dataset.
Featured Recommended AI Models
AIbase
Empowering the Future, Your AI Solution Knowledge Base
Š 2025AIbase