➗ Mathematics & statistics162 papers · page 1 of 7 · newest first · all shelvesMathematics, proofs, computational mathematics, word problems and how machines learn to solve them, statistics.1 2 3 4 5 6 7 next →DAPO: An Open-Source LLM Reinforcement Learning System at ScaleQiying Yu, Zheng Zhang, Ruofei Zhu, et al.2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionZ. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningDeepSeek-AI, Daya Guo, Dejian Yang, et al.2025Demystifying Long Chain-of-Thought Reasoning in LLMsEdward Yeo, Yuxuan Tong, Morry Niu, et al.2025Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?Yang Yue, Zhiqi Chen, Rui Lu, et al.2025Group Sequence Policy OptimizationChujie Zheng, Shixuan Liu, Mingze Li, et al.2025Humanity's Last ExamLong Phan, Alice Gatti, Ziwen Han, et al.2025Kimi k1.5: Scaling Reinforcement Learning with LLMsKimi Team, Angang Du, Bofei Gao, et al.2025LIMO: Less is More for ReasoningYixin Ye, Zhen Huang, Yang Xiao, et al.2025Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base ModelJingcheng Hu, Yinmin Zhang, Qi Han, et al.2025OpenThoughts: Data Recipes for Reasoning ModelsEtash Guha, Ryan Marten, Sedrick Keh, et al.2025Phi-4-Mini Technical Report: Compact yet Powerful Multimodal Language Models via Mixture-of-LoRAsMicrosoft, Abdelrahman Abouelenin, Atabak Ashfaq, et al.2025Process Reinforcement through Implicit RewardsGanqu Cui, Lifan Yuan, Zefan Wang, et al.2025ProcessBench: Identifying Process Errors in Mathematical ReasoningChujie Zheng, Zhenru Zhang, Beichen Zhang, et al.2025Qwen3 Technical ReportAn Yang, Anfeng Li, Baosong Yang, et al.2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep ThinkingXinyu Guan, Li Lyna Zhang, Yifei Liu, et al.2025s1: Simple test-time scalingNiklas Muennighoff, Zitong Yang, Weijia Shi, et al.2025SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the WildWeihao Zeng, Yuzhen Huang, Qian Liu, et al.2025SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language ModelLoubna Ben Allal, Anton Lozhkov, Elie Bakouch, et al.2025The Lessons of Developing Process Reward Models in Mathematical ReasoningZhenru Zhang, Chujie Zheng, Yangzhen Wu, et al.2025Understanding R1-Zero-Like Training: A Critical PerspectiveZichen Liu, Changyu Chen, Wenjun Li, et al.2025AGIEval: A Human-Centric Benchmark for Evaluating Foundation ModelsWanjun Zhong, Ruixiang Cui, Yiduo Guo, et al.2024AlphaMath Almost Zero: Process Supervision without ProcessGuoxin Chen, Minpeng Liao, Chengxi Li, et al.2024DataComp-LM: In search of the next generation of training sets for language modelsJeffrey Li, Alex Fang, Georgios Smyrnis, et al.2024DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearchHuajian Xin, Z. Z. Ren, Junxiao Song, et al.20241 2 3 4 5 6 7 next →