Towards Robust Mathematical Reasoning
"数学推理" 相关文章
Efficient Reinforcement Learning for Large Language Models with Intrinsic Exploration
SIGMA: Search-Augmented On-Demand Knowledge Integration for Agentic Mathematical Reasoning
AMO-Bench: Large Language Models Still Struggle in High School Math Competitions
The Era of Agentic Organization: Learning to Organize with Language Models
How Do We Evaluate the Quality of LLMs' Mathematical Responses?
GeoThought: A Dataset for Enhancing Mathematical Geometry Reasoning in Vision-Language Models
刚刚，Thinking Machines Lab博客提出在策略蒸馏，Qwen被cue 38次
首个面向大模型的形式化数学竞赛正式启动：推动AI数学推理迈向可验证新高度
TPO: Aligning Large Language Models with Multi-branch & Multi-step Preference Trees
Boosting Accuracy and Efficiency of Budget Forcing in LLMs via Reinforcement Learning for Mathematical Reasoning
PNAS：数学家“顿悟”过程的建模与预测
Teaching Language Models to Reason with Tools
Teaching Language Models to Reason with Tools
Teaching Language Models to Reason with Tools
Limits of PRM-Guided Tree Search for Mathematical Reasoning with LLMs
DAG-Math: Graph-Guided Mathematical Reasoning in LLMs
DAG-Math: Graph-Guided Mathematical Reasoning in LLMs
蚂蚁开源 Ring-1T，成就推理、编程、通用智能三冠王
Benchmarking Large Language Models with Integer Sequence Generation Tasks
