paper-with-me

홈 › Papers

MiroMind-M1: An Open-Source Advancement in Mathematical Reasoning via Context-Aware Multi-Stage Policy Optimization

2025-07-19 · Xingxuan Li, Yao Xiao, Dianwen Ng, Hai Ye, Yue Deng, Xiang Lin, Bin Wang, Zhanfeng Mo, Chong Zhang, Yueyi Zhang, Zonglin Yang, Ruilin Li, Lei Lei, Shihao Xu, Han Zhao, Weiling Chen, Feng Ji, Lidong Bing arxiv

Large language models have recently evolved from fluent text generation to advanced reasoning across diverse domains, giving rise to reasoning language models. Among these domains, mathematical reasoning serves as a representative benchmark as it requires precise multi-step logic and abstract reasoning, which can be generalized to other tasks. While closed-source RLMs such as GPT-o3 demonstrate impressive reasoning capabilities, their proprietary nature limits transparency and reproducibility. Although many open-source projects aim to close this gap, most of them lack sufficient openness by omitting critical resources such as datasets and detailed training configurations, which hinders reproducibility. To contribute toward greater transparency in RLM development, we introduce the MiroMind-M1 series, a set of fully open-source RLMs built on the Qwen-2.5 backbone that match or exceed the performance of existing open-source RLMs. Specifically, our models are trained in two stages: SFT on a carefully curated corpus of 719K math-reasoning problems with verified CoT trajectories, followed by RLVR on 62K challenging and verifiable problems. To enhance the robustness and efficiency of the RLVR process, we introduce Context-Aware Multi-Stage Policy Optimization, an algorithm that integrates length-progressive training with an adaptive repetition penalty to encourage context-aware RL training. Our model achieves state-of-the-art or competitive performance and superior token efficiency among Qwen-2.5-based open-source 7B and 32B models on the AIME24, AIME25, and MATH benchmarks. To facilitate reproducibility, we release the complete stack: models (MiroMind-M1-SFT-7B, MiroMind-M1-RL-7B, MiroMind-M1-RL-32B); datasets (MiroMind-M1-SFT-719K, MiroMind-M1-RL-62K); and all training and evaluation configurations. We hope these resources will support further research and foster community advancement.

📄 PDF Abstract BibTeX arXiv:2507.14683

Code (0)

등록된 구현이 없습니다.

Tasks

Mathematical ReasoningText Generation

Similar Papers 제목 키워드 기반

Evaluating LLMs' Mathematical and Coding Competency through Ontology-guided Interventions

2024-01-17 · Pengfei Hong, Navonil Majumder, Deepanway Ghosal, Somak Aditya 외

Recent advancements in Large Language Models (LLMs) have showcased striking results on existing logical reasoning benchmarks, with some models even surpassing human performance. However, the true depth of their competenc…

Arithmetic ReasoningCode GenerationGSM8KHumanEval+3

Can A Gamer Train A Mathematical Reasoning Model?

2025-06-10 · Andrew Shin

While large language models (LLMs) have achieved remarkable performance in various tasks including mathematical reasoning, their development typically demands prohibitive computational resources. Recent advancements have…

GPUMathematical Reasoning

Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction

2024-06-02 · Xiaoyuan Li, Wenjie Wang, Moxin Li, Junrong Guo 외

The rapid advancement of Large Language Models (LLMs) in the realm of mathematical reasoning necessitates comprehensive evaluations to gauge progress and inspire future directions. Existing assessments predominantly focu…

Mathematical Reasoning

Augmenting Math Word Problems via Iterative Question Composing

2024-01-17 · Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew Chi-Chih Yao

Despite the advancements in large language models (LLMs) for mathematical reasoning, solving competition-level math problems remains a significant challenge, especially for open-source LLMs without external tools. We int…

MathMathematical ReasoningMath Word Problem Solving

Multilingual Mathematical Reasoning: Advancing Open-Source LLMs in Hindi and English

2024-12-24 · Avinash Anand, Kritarth Prasad, Chhavi Kirtani, Ashwin R Nair 외

Large Language Models (LLMs) excel in linguistic tasks but struggle with mathematical reasoning, particularly in non English languages like Hindi. This research aims to enhance the mathematical reasoning skills of smalle…

Mathematical Reasoning