InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Research paper by Huaiyuan Ying and collaborators. Published 2024-02-09. Topics: chain-of-thought reasoning, reward modeling, formal reasoning, data augmentation, code interpreter.
Resource information
- Authors
- Huaiyuan Ying, Shuo Zhang, Linyang Li, Zhejian Zhou, Yunfan Shao, Zhaoye Fei, Yichuan Ma, Jiawei Hong, Kuikun Liu, Ziyi Wang, Yudong Wang, Zijian Wu, Shuaibin Li, Fengzhe Zhou, Hongwei Liu, Songyang Zhang, Wenwei Zhang, Hang Yan, Xipeng Qiu, Jiayu Wang, Kai Chen, Dahua Lin
- Research topics
- chain-of-thought reasoning, reward modeling, formal reasoning, data augmentation, code interpreter, seq2seq, math reasoner, verifier, prover, augmenter, in-context learning, supervised fine-tuning
- Publication date
- 2024-02-09
- Publication
- arXiv
- Last record update
- Nov 3, 2026