paper-with-me

Papers

AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling

2024-12-19 · Zihan Liu, Yang Chen, Mohammad Shoeybi, Bryan Catanzaro, Wei Ping

In this paper, we introduce AceMath, a suite of frontier math models that excel in solving complex math problems, along with highly effective reward models capable of evaluating generated solutions and reliably identifying the correct ones. To develop the instruction-tuned math models, we propose a supervised fine-tuning (SFT) process that first achieves competitive performance across general domains, followed by targeted fine-tuning for the math domain using a carefully curated set of prompts and synthetically generated responses. The resulting model, AceMath-72B-Instruct greatly outperforms Qwen2.5-Math-72B-Instruct, GPT-4o and Claude-3.5 Sonnet. To develop math-specialized reward model, we first construct AceMath-RewardBench, a comprehensive and robust benchmark for evaluating math reward models across diverse problems and difficulty levels. After that, we present a systematic approach to build our math reward models. The resulting model, AceMath-72B-RM, consistently outperforms state-of-the-art reward models. Furthermore, when combining AceMath-72B-Instruct with AceMath-72B-RM, we achieve the highest average rm@8 score across the math reasoning benchmarks. We release model weights, training data, and evaluation benchmarks at: https://research.nvidia.com/labs/adlr/acemath

📄 PDF Abstract BibTeX arXiv:2412.15084

Code (0)

등록된 구현이 없습니다.

Tasks

Math

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

AM-Thinking-v1: Advancing the Frontier of Reasoning at 32B Scale

2025-05-13 · Yunjie Ji, Xiaoyu Tian, Sitong Zhao, Haotian Wang 외

We present AM-Thinking-v1, a 32B dense language model that advances the frontier of reasoning, embodying the collaborative spirit of open-source innovation. Outperforming DeepSeek-R1 and rivaling leading Mixture-of-Exper…

Mixture-of-Experts

Formal Mathematical Reasoning: A New Frontier in AI

2024-12-20 · Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li 외

AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven discovery in science, engineering, and beyond. Extensive efforts on AI4Math have mirrored techniques in NLP, in particular…

Automated Theorem ProvingMathMathematical Reasoning

PCL-Reasoner-V1.5: Advancing Math Reasoning with Offline Reinforcement Learning

2026-01-21 · Yao Lu, Dengdong Fan, Jianzheng Nie, Fan Xu 외 arxiv

We present PCL-Reasoner-V1.5, a 32-billion-parameter large language model (LLM) for mathematical reasoning. The model is built upon Qwen2.5-32B and refined via supervised fine-tuning (SFT) followed by reinforcement learn…

Reinforcement LearningMathematical ReasoningOffline RL

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory

2025-10-30 · Yuanhang Liu, Beichen Wang, Peng Li, Yang Liu arxiv

Artificial intelligence (AI) has demonstrated impressive progress in mathematical reasoning, yet its integration into the practice of mathematical research remains limited. In this study, we investigate how the AI Mathem…

Mathematical Reasoning

MathFimer: Enhancing Mathematical Reasoning by Expanding Reasoning Steps through Fill-in-the-Middle Task

2025-02-17 · Yuchen Yan, Yongliang Shen, Yang Liu, Jin Jiang 외

Mathematical reasoning represents a critical frontier in advancing large language models (LLMs). While step-by-step approaches have emerged as the dominant paradigm for mathematical problem-solving in LLMs, the quality o…

Code CompletionGSM8KMathMathematical Problem-Solving+1