Shypd.aiThe largest open index of AI toolsInternLM-Math offers state-of-the-art bilingual open-sourced Math reasoning LLMs. It functions as a solver, prover, verifier, and augmentor for mathematical tasks, supporting both English and Chinese.
Trending
About
InternLM-Math provides state-of-the-art bilingual open-sourced Large Language Models specifically designed for mathematical reasoning. It acts as a comprehensive tool for solving, proving, verifying, and augmenting mathematical problems. The platform supports both informal math reasoning, including chain-of-thought and code-interpreter capabilities, and formal math reasoning, with a strong focus on LEAN 4 translation and theorem proving. It offers various model sizes, from 1.8B to 8x22B, demonstrating competitive performance across benchmarks like MATH, GSM8K, and MiniF2F. InternLM-Math also includes features for generating Lean code, suggesting proof tactics, and augmenting math problems, making it a versatile resource for both research and practical application in mathematics.
Capabilities
Pricing & Plans
Open Source
Free
FAQs
Trending
