InternLM2 Math 20B
About
InternLM2 Math 20B is a cutting-edge bilingual large language model designed for advanced mathematical reasoning, proficient in both Chinese and English. With 20 billion parameters, it serves as a solver, prover, verifier, and augmentor for mathematical challenges. The model excels in solving complex problems, proving theorems, verifying logical steps, and even generating Lean 3 code for formal proofs. It was trained on a vast dataset of over 100 billion math-related tokens and further refined with bilingual supervised data, employing sophisticated decontamination techniques to ensure integrity. Despite its robust capabilities, it may sometimes omit calculation steps and exhibit performance variability, especially in code generation for Chinese queries.