arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-10-09 至 2025-10-09 共收录 49 信号源:cs.CL, cs.AI, cs.LG

1. 数学推理 5 篇

2505.23867 2025-10-09 cs.CL cs.AI 86%

InfiMed: Low-Resource Medical MLLMs with Advancing Understanding and Reasoning

Zeyu Liu, Zhitian Hou, Guanghao Zhu, Zhijie Sang, Congkai Xie, Hongxia Yang

机构 * The Hong Kong Polytechnic University(香港理工大学) Sun Yat-sen University(中山大学)

专题命中 数学推理 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.CL、cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.07169 2025-10-09 cs.CL 79%

More Data or Better Data? A Critical Analysis of Data Selection and Synthesis for Mathematical Reasoning

Yike Zhao, Simin Guo, Ziqing Yang, Shifan Han, Dahua Lin, Fei Tan

机构 * East China Normal University(东华师范大学) University of Chicago(芝加哥大学) The Chinese University of Hong Kong(香港中文大学)

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

Comments 12 pages, 3 figures, submitted to EMNLP 2025 Industry Track

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06652 2025-10-09 cs.CL 70%

Aligning Large Language Models via Fully Self-Synthetic Data

Shangjian Yin, Zhepei Wei, Xinyu Zhu, Wei-Lin Chen, Yu Meng

机构 * University of California, Riverside(加州大学河滨分校) University of Virginia(弗吉尼亚大学)

专题命中 数学推理 :reasoning(abstract);math reasoning(abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏
2505.18356 2025-10-09 cs.CL cs.AI cs.LG 67%

The Unreasonable Effectiveness of Model Merging for Cross-Lingual Transfer in LLMs

Lucas Bandarkar, Nanyun Peng

机构 * University of California, Los Angeles(加州大学洛杉矶分校)

专题命中 数学推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG

Comments MRL Workshop at EMNLP 2025

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06617 2025-10-09 cs.HC 50%

Investigating Students' Preferences for AI Roles in Mathematical Modelling: Evidence from a Randomized Controlled Trial

Wangda Zhu, Guang Chen, Yumeng Zhu, Lei Cai, Xiangen Hu

专题命中 数学推理 :reasoning(abstract)

详情

展开后加载摘要…

URL PDF HTML 收藏

2. 代码与定理证明 2 篇

2305.11461 2025-10-09 cs.AI 83%

Hint of Pseudo Code (HoPC): Zero-Shot Step by Step Pseudo Code Reasoning Prompting

Iok Tong Lei, Ziyu Zhu, Han Yu, Yige Yao, Zhidong Deng

机构 * Department of Computer Science and Technology(计算机科学与技术系) Institute for Artificial Intelligence at Tsinghua University(清华大学人工智能研究院) Beijing National Research Center for Information Science and Technology(北京信息科学国家研究中心) Tsinghua University(清华大学)

专题命中 代码与定理证明 :reasoning(title,abstract);CoT(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.25282 2025-10-09 cs.AI cs.HC cs.SE 79%

Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments

Jiexi Xu, Jiaqi Liu, Lanruo Wang, Su Liu

机构 * School of Information \& Computer Science University of California, Irvine Irvine, CA, USA Independent Researcher University of Texas at Dallas Dallas, TX, USA Georgia Institute of Technology Atlanta, GA, USA

专题命中 代码与定理证明 :reasoning(title,abstract);分类 cs.AI

Comments 5 pages, 1 table

详情

展开后加载摘要…

URL PDF HTML 收藏

3. 逻辑推理 2 篇

2510.06774 2025-10-09 cs.CL 83%

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition

Lei Xu, Pierre Beckmann, Marco Valentino, André Freitas

机构 * Idiap Research Institute(Idiap研究机构) École Polytechnique Fédérale de Lausanne(联邦理工学院洛桑分校) School of Computer Science, University of Sheffield(谢菲尔德大学计算机科学学院) Department of Computer Science, University of Manchester(曼彻斯特大学计算机科学系) Cancer Biomarker Centre, CRUK Manchester Institute(癌症生物标志物中心,CRUK曼彻斯特研究所)

专题命中 逻辑推理 :reasoning(title,abstract);CoT(abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06559 2025-10-09 cs.CL cs.AI cs.LO 62%

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law

Cheonkam Jeong, Sungdo Kim, Jewoo Park

机构 * Savassan(萨瓦桑)

专题命中 逻辑推理 :reasoning(abstract);分类 cs.CL、cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏

4. 规划推理 13 篇

2510.06475 2025-10-09 cs.AI cs.CL 88%

PuzzlePlex: Benchmarking Foundation Models on Reasoning and Planning with Puzzles

Yitao Long, Yuru Jiang, Hongjun Liu, Yilun Zhao, Jingchen Sun, Yiqiu Shen, Chen Zhao, Arman Cohan, Dennis Shasha

机构 * New York University(纽约大学) Zhejiang University(浙江大学) Yale University(耶鲁大学) University at Buffalo, SUNY(布法罗大学) NYU Grossman School of Medicine(纽约大学医学院)

专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.CL、cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.13055 2025-10-09 cs.RO cs.AI 85%

Mitigating Cross-Modal Distraction and Ensuring Geometric Feasibility via Affordance-Guided and Self-Consistent MLLMs for Task Planning in Instruction-Following Manipulation

Yu-Hong Shen, Chuan-Yu Wu, Yi-Ru Yang, Yen-Ling Tai, Yi-Ting Chen

机构 * Department of Computer Science, National Yang Ming Chiao Tung University(计算机科学系,阳明交通大学) Department of Computer Science and Information Engineering, National Taiwan University(计算机科学与信息工程系,台湾大学)

专题命中 规划推理 :planning(title,abstract);reasoning(abstract);chain-of-thought(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06357 2025-10-09 cs.RO cs.AI 83%

Constrained Natural Language Action Planning for Resilient Embodied Systems

Grayson Byrd, Corban Rivera, Bethany Kemp, Meghan Booker, Aurora Schmidt, Celso M de Melo, Lalithkumar Seenivasan, Mathias Unberath

机构 * Johns Hopkins University Applied Physics Laboratory(约翰霍普金斯大学应用物理实验室) Johns Hopkins University(约翰霍普金斯大学) DEVCOM Army Research Lab(国防部陆军研究实验室)

专题命中 规划推理 :planning(title,abstract);reasoning(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.07091 2025-10-09 cs.AI cs.CL 81%

The Cognitive Bandwidth Bottleneck: Shifting Long-Horizon Agent from Planning with Actions to Planning with Schemas

Baixuan Xu, Tianshi Zheng, Zhaowei Wang, Hong Ting Tsang, Weiqi Wang, Tianqing Fang, Yangqiu Song

机构 * The Hong Kong University of Science and Technology(香港科学与技术大学)

专题命中 规划推理 :planning(title,abstract);分类 cs.CL、cs.AI

Comments 22 pages

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06994 2025-10-09 cs.CR cs.CL 79%

RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning

Artur Horal, Daniel Pina, Henrique Paz, Iago Paulo, João Soares, Rafael Ferreira, Diogo Tavares, Diogo Glória-Silva, João Magalhães, David Semedo

专题命中 规划推理 :planning(title,abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.07147 2025-10-09 cs.LG cs.AI cs.CL cs.MA cs.SE 67%

A Multi-Agent Framework for Stateful Inference-Time Search

Arshika Lalan, Rajat Ghosh, Aditya Kolsur, Debojyoti Dutta

机构 * Carnegie Mellon University(卡内基梅隆大学) Nutanix(Nutanix公司)

专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06240 2025-10-09 cs.CL cs.AI cs.DB 62%

Knowledge Graph-Guided Multi-Agent Distillation for Reliable Industrial Question Answering with Datasets

Jiqun Pan, Zhenke Duan, Jiani Tu, Anzhi Cheng, Yanqing Wang

机构 * Zhongnan University of Economics and Law(中南财经政法大学)

专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI

Comments 41 pages, 12 figures, 6 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.20757 2025-10-09 cs.CL 57%

MCTS-RAG: Enhancing Retrieval-Augmented Generation with Monte Carlo Tree Search

Yunhai Hu, Yilun Zhao, Chen Zhao, Arman Cohan

机构 * Yale University(耶鲁大学) New York University(纽约大学)

专题命中 规划推理 :reasoning(abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06878 2025-10-09 cs.AI 57%

TGPR: Tree-Guided Policy Refinement for Robust Self-Debugging of LLMs

Daria Ozerova, Ekaterina Trofimova

机构 * HSE University(俄罗斯莫斯科国立高等经济学院)

专题命中 规划推理 :reasoning(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06579 2025-10-09 cs.CL 57%

TinyScientist: An Interactive, Extensible, and Controllable Framework for Building Research Agents

Haofei Yu, Keyang Xuan, Fenghai Li, Kunlun Zhu, Zijie Lei, Jiaxun Zhang, Ziheng Qi, Kyle Richardson, Jiaxuan You

机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) Allen Institute for Artificial Intelligence(人工智能研究院)

专题命中 规划推理 :planning(abstract);分类 cs.CL

Comments 7 pages, EMNLP 2025 Demo track

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06276 2025-10-09 eess.IV cs.AI cs.CV 57%

A Total Variation Regularized Framework for Epilepsy-Related MRI Image Segmentation

Mehdi Rabiee, Sergio Greco, Reza Shahbazian, Irina Trubitsyna

机构 * Department of Computer Engineering, Modeling, Electronics and Systems (DIMES), University of Calabria, Rende 87036, Italy(计算机工程、建模、电子与系统系(DIMES),卡拉布里亚大学,Rende 87036,意大利)

专题命中 规划推理 :planning(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2506.18824 2025-10-09 cs.SE cs.AI 57%

Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories

Islem Bouzenia, Michael Pradel

机构 * CISPA Helmholtz Center for Information Security Germany(CISPA海德堡信息安全中心)

专题命中 规划推理 :reasoning(abstract);分类 cs.AI

Comments ACCEPTED FOR ASE 2025

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06556 2025-10-09 econ.TH 50%

Artificial Intelligence in Port Logistics: A Bibliometric Analysis of Technological Integration and Research Dynamics

Abdelhafid Khazzar, Yassine Sekaki, Yasser Lachhab, Said El-marzouki

专题命中 规划推理 :planning(abstract)

详情

展开后加载摘要…

URL PDF HTML 收藏

5. 测试时计算 2 篇

2510.05379 2025-10-09 cs.CR cs.AI 76%

AutoDAN-Reasoning: Enhancing Strategies Exploration based Jailbreak Attacks with Test-Time Scaling

Xiaogeng Liu, Chaowei Xiao

机构 * Johns Hopkins University(约翰霍普金斯大学)

专题命中 测试时计算 :reasoning(title,comments);分类 cs.AI

Comments Technical report. Code is available at https://github.com/SaFoLab-WISC/AutoDAN-Reasoning

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.03540 2025-10-09 cs.CL cs.AI 62%

Improving Factuality in LLMs via Inference-Time Knowledge Graph Construction

Shanglin Wu, Lihui Liu, Jinho D. Choi, Kai Shu

机构 * Emory University(埃默里大学) Wayne State University(韦恩州立大学)

专题命中 测试时计算 :reasoning(abstract);分类 cs.CL、cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏

6. 复杂问题求解 5 篇

2510.07167 2025-10-09 cs.CL 85%

Reasoning for Hierarchical Text Classification: The Case of Patents

Lekang Jiang, Wenjun Sun, Stephan Goetz

机构 * University of Cambridge(剑桥大学) National Science Library, Chinese Academy of Sciences(中国科学院国家科学图书馆) Department of Information Resources Management, School of Economics and Management, University of Chinese Academy of Sciences(中国科学院大学经济管理学院信息资源管理系)

专题命中 复杂问题求解 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.CL

Comments 15 pages, 10 tables, 3 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2505.16834 2025-10-09 cs.CL cs.AI cs.IR 81%

SimpleDeepSearcher: Deep Information Seeking via Web-Powered Reasoning Trajectory Synthesis

Shuang Sun, Huatong Song, Yuhao Wang, Ruiyang Ren, Jinhao Jiang, Junjie Zhang, Fei Bai, Jia Deng, Wayne Xin Zhao, Zheng Liu, Lei Fang, Zhongyuan Wang, Ji-Rong Wen

机构 * Beijing Academy of Artificial Intelligence(北京人工智能研究院) DataCanvas Alaya NeW

专题命中 复杂问题求解 :reasoning(title,abstract);分类 cs.CL、cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.06587 2025-10-09 cs.AI 79%

WebDART: Dynamic Decomposition and Re-planning for Complex Web Tasks

Jingbo Yang, Bairu Hou, Wei Wei, Shiyu Chang, Yujia Bao

机构 * UC Santa Barbara(加州大学圣芭芭拉分校) Center for Advanced AI, Accenture(Accenture高级人工智能研究中心)

专题命中 复杂问题求解 :planning(title);reasoning(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2507.19333 2025-10-09 cs.IR cs.CL 79%

Injecting External Knowledge into the Reasoning Process Enhances Retrieval-Augmented Generation

Minghao Tang, Shiyu Ni, Jiafeng Guo, Keping Bi

机构 * State Key Laboratory of AI Safety(人工智能安全国家重点实验室) Institute of Computing Technology(计算技术研究所) Chinese Academy of Sciences(中国科学院) University of Chinese Academy of Sciences(中国科学院大学)

专题命中 复杂问题求解 :reasoning(title,abstract);分类 cs.CL

Comments SIGIR-AP 2025

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.07098 2025-10-09 cs.CL 57%

TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription

Guo Yutong, Wanying Wang, Yue Wu, Zichen Miao, Haoyu Wang

机构 * Johns Hopkins University(约翰霍普金斯大学) Purdue University(普渡大学) University at Albany(阿尔巴尼大学)

专题命中 复杂问题求解 :reasoning(abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏

7. 推理评测 15 篇

2510.06430 2025-10-09 cs.CL 83%

MathRobust-LV: Evaluation of Large Language Models' Robustness to Linguistic Variations in Mathematical Reasoning

Neeraja Kirtane, Yuvraj Khanna, Peter Relan

机构 * Got It Education(Got It 教育)

专题命中 推理评测 :reasoning(title,abstract);math reasoning(abstract);分类 cs.CL

详情

展开后加载摘要…

URL PDF HTML 收藏