InternLM2 Math 20B
InternLM2 Math 20B is released 2024-05-24 in the InternLM2-Math family with open-source; evaluate it while provider pricing coverage matures.
- Family
- InternLM2-Math
- Released
- 2024-05-24
- Context
- 4K
- Parameters
- 20B
- Architecture
- Decoder Only
- Knowledge cutoff
- 2023-08
- Specialization
- general
- Openness
- Open source
- License
- Apache 2.0OSI-approvedCommercial use: permitted
- Weights
- Unknown
- Code
- Unknown
- Training
- Fine-tuned
No tracked provider pricing is available yet.
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.
Providers
No active provider routes are tracked for this model yet.
Capabilities
No model capability flags are currently sourced.
Benchmark peer barsfor Coding
No task-mapped benchmark peers are available for this model yet.
Migration checks
No linked migration route is available for this model yet.