大模型推理能力

Steering Large Language Models between Code Execution and Textual Reasoning

Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma, Chuchu Fan, Chi Wang

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 32 pages, 12 figures, 12 tables

Journal ref The Thirteenth International Conference on Learning Representations (ICLR'2025)

CogCoM: A Visual Language Model with Chain-of-Manipulations Reasoning

Ji Qi, Ming Ding, Weihan Wang, Yushi Bai, Qingsong Lv, Wenyi Hong, Bin Xu, Lei Hou, Juanzi Li, Yuxiao Dong, Jie Tang

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 21 pages, 10 figures

SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers

Kechen Li, Wenqi Zhu, Coralia Cartis, Tianbo Ji, Shiwei Liu

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.LG

Your Language Model May Think Too Rigidly: Achieving Reasoning Consistency with Symmetry-Enhanced Training

Yihang Yao, Zhepeng Cen, Miao Li, William Han, Yuyou Zhang, Emerson Liu, Zuxin Liu, Chuang Gan, Ding Zhao

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Retrieval-Augmented Process Reward Model for Generalizable Mathematical Reasoning

Jiachen Zhu, Congmin Zheng, Jianghao Lin, Kounianhua Du, Ying Wen, Yong Yu, Jun Wang, Weinan Zhang

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Full-Step-DPO: Self-Supervised Preference Optimization with Step-wise Rewards for Mathematical Reasoning

Huimin Xu, Xin Mao, Feng-Lin Li, Xiaobao Wu, Wang Chen, Wei Zhang, Anh Tuan Luu

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Preference Optimization for Reasoning with Pseudo Feedback

Fangkai Jiao, Geyang Guo, Xingxing Zhang, Nancy F. Chen, Shafiq Joty, Furu Wei

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 28 pages, 11 figures. ICLR 2025

On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms

Luke E. Richards, Jessie Yaros, Jasen Babcock, Coung Ly, Robin Cosbey, Timothy Doster, Cynthia Matuszek

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Mathematical reasoning and the computer

Kevin Buzzard

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Comments This article was written in 2023 and is thus now rather out of date. Apologies for taking so long to upload to ArXiv

Journal ref Bull. Amer. Math. Soc. (N.S.) 61 (2024), no. 2, 211--224

Hybrid Reasoning Based on Large Language Models for Autonomous Car Driving

Mehdi Azarafza, Mojtaba Nayyeri, Charles Steinmetz, Steffen Staab, Achim Rettberg

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Comments 12 pages, 5 figures

Understand, Solve and Translate: Bridging the Multilingual Mathematical Reasoning Gap

Hyunwoo Ko, Guijin Son, Dasol Choi

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 18 pages, 14 figures, 9 tables

Token-Hungry, Yet Precise: DeepSeek R1 Highlights the Need for Multi-Step Reasoning Over Speed in MATH

Evgenii Evstafev

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.LG

Comments 5 pages, 1 figure, 1 table

O1-Pruner: Length-Harmonizing Fine-Tuning for O1-Like Reasoning Pruning

Haotian Luo, Li Shen, Haiying He, Yibo Wang, Shiwei Liu, Wei Li, Naiqiang Tan, Xiaochun Cao, Dacheng Tao

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 9 pages, 4 figures

Evaluating Mathematical Reasoning Beyond Accuracy

Shijie Xia, Xuefeng Li, Yixin Liu, Tongshuang Wu, Pengfei Liu

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments v2 is the AAAI 2025 camera ready version. Project site with code: https://github.com/GAIR-NLP/ReasonEval

MetaRuleGPT: Recursive Numerical Reasoning of Language Models Trained with Simple Rules

Kejie Chen, Lin Wang, Qinghai Zhang, Renjun Xu

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 8 pages, 6 figures

Can Language Models Rival Mathematics Students? Evaluating Mathematical Reasoning through Textual Manipulation and Human Experiments

Andrii Nikolaiev, Yiannos Stathopoulos, Simone Teufel

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Reasoning Graph Enhanced Exemplars Retrieval for In-Context Learning

Yukang Lin, Bingchen Zhong, Shuoran Jiang, Joanna Siebert, Qingcai Chen

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Enhancing Mathematical Reasoning in LLMs with Background Operators

Jiajun Chen, Yik-Cheung Tam

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Training-Free Mitigation of Language Reasoning Degradation After Multimodal Instruction Tuning

Neale Ratzlaff, Man Luo, Xin Su, Vasudev Lal, Phillip Howard

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Improving Physics Reasoning in Large Language Models Using Mixture of Refinement Agents

Raj Jaiswal, Dhruv Jain, Harsh Parimal Popat, Avinash Anand, Abhishek Dharmadhikari, Atharva Marathe, Rajiv Ratn Shah

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Comments 7 pages

Mars-PO: Multi-Agent Reasoning System Preference Optimization

Xiaoxuan Lou, Chaojie Wang, Bo An

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Qwen2.5-32B: Leveraging Self-Consistent Tool-Integrated Reasoning for Bengali Mathematical Olympiad Problem Solving

Saad Tahmid, Sourav Sarker

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

GFlowNet Fine-tuning for Diverse Correct Solutions in Mathematical Reasoning Tasks

Ryoichi Takase, Masaya Tsunokake, Yuta Tsuchiya, Shota Inuzuka

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.LG

SIKeD: Self-guided Iterative Knowledge Distillation for mathematical reasoning

Shivam Adarsh, Kumar Shridhar, Caglar Gulcehre, Nicholas Monath, Mrinmaya Sachan

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist

Zihao Zhou, Shudong Liu, Maizhen Ning, Wei Liu, Jindong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 43 pages,Preprint

Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language Models

Wenhao Shi, Zhiqiang Hu, Yi Bin, Junhua Liu, Yang Yang, See-Kiong Ng, Lidong Bing, Roy Ka-Wei Lee

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments Accepted at Findings of EMNLP2024

MathHay: An Automated Benchmark for Long-Context Mathematical Reasoning in LLMs

Lei Wang, Shan Dong, Yuhui Xu, Hanze Dong, Yalu Wang, Amrita Saha, Ee-Peng Lim, Caiming Xiong, Doyen Sahoo

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments Work-in-Progress

Learning to Love Edge Cases in Formative Math Assessment: Using the AMMORE Dataset and Chain-of-Thought Prompting to Improve Grading Accuracy

Owen Henkel, Hannah Horne-Robinson, Maria Dyshel, Nabil Ch, Baptiste Moreau-Pernet, Ralph Abood

专题命中 数学推理 ：chain-of-thought(title,abstract)；分类 cs.AI

Math-PUMA: Progressive Upward Multimodal Alignment to Enhance Mathematical Reasoning

Wenwen Zhuang, Xin Huang, Xiantao Zhang, Jin Zeng

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Large Language Models for Mathematical Reasoning: Progresses and Challenges

Janice Ahn, Rishu Verma, Renze Lou, Di Liu, Rui Zhang, Wenpeng Yin

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.CL

Comments EACL 2024 Student Research Workshop, 8 pages