大模型推理能力

SimpleTIR: End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning

Zhenghai Xue, Longtao Zheng, Qian Liu, Yingru Li, Xiaosen Zheng, Zejun Ma, Bo An

机构 * Nanyang Technological University（南洋理工大学） ； TikTok 纠错

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

Designing a Lightweight GenAI Interface for Visual Data Analysis

Ratanond Koonchanok, Alex Kale, Khairi Reda

专题命中 代码与定理证明 ：reasoning(abstract)

JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents

Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang

机构 * University of California（加州大学） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；planning(abstract)；分类 cs.CL、cs.AI

Comments 19th International Conference on Neurosymbolic Learning and Reasoning

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs

Jay Vaghasiya, Omkar Ghugarkar, Vishvesh Bhat, Vipul Dholaria, Julian McAuley

专题命中 逻辑推理 ：reasoning(title,abstract)；planning(abstract)；分类 cs.AI

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning

Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya, Paulo Shakarian, Devendra Parkar, Lahari Pokala, Clark Dorman, Gerardo I. Simari

机构 * Syracuse University Syracuse New York USA ； Arizona State University Tempe Arizona USA ； Scientific Systems Company, Inc. Woburn Massachusetts USA ； Department of Computer Science ； Engineering, Universidad Nacional del Sur (UNS) \& Institute for Computer Science ； Syracuse University ； Arizona State University ； Scientific Systems Company, Inc. 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Single Domain Generalization in Diabetic Retinopathy: A Neuro-Symbolic Learning Approach

Midhat Urooj, Ayan Banerjee, Farhat Shaikh, Kuntal Thakur, Sandeep Gupta

机构 * Impact Lab, Arizona State University（Impact实验室，亚利桑那州立大学） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted in ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

Journal ref ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

Murakkab: Resource-Efficient Agentic Workflow Orchestration in Cloud Platforms

Gohar Irfan Chaudhry, Esha Choukse, Haoran Qiu, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini

机构 * MIT CSAIL（麻省理工学院计算机科学与人工智能实验室） ； Microsoft Azure Research -- Systems（微软Azure研究系统） ； Microsoft Azure（微软Azure） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Autonomous Task Planning for Heterogeneous Multi-Agent Systems

Anatoli A. Tziola, Savvas G. Loizou

机构 * Department of Mechanical Engineering and Materials Science and Engineering, Cyprus University of Technology（机械工程与材料科学与工程系，塞浦路斯技术大学） 纠错

专题命中 规划推理 ：planning(title,abstract)

Comments Long version of paper submitted to the IEEE ICRA 2023 Conference, in IEEE Transactions on Automatic Control, 2025

A Hierarchical Deep Reinforcement Learning Framework for Traffic Signal Control with Predictable Cycle Planning

Hankang Gu, Yuli Zhang, Chengming Wang, Ruiyuan Jiang, Ziheng Qiao, Pengfei Fan, Dongyao Jia

机构 * School of Advanced Technology, Xi’an Jiaotong-Liverpool University（先进技术学院，西安交通大学利物浦大学） 纠错

专题命中 规划推理 ：planning(title)；分类 cs.AI、cs.LG

Deep Research Agents: A Systematic Examination And Roadmap

Yuxuan Huang, Yihang Chen, Haozheng Zhang, Kang Li, Huichi Zhou, Meng Fang, Linyi Yang, Xiaoguang Li, Lifeng Shang, Songcen Xu, Jianye Hao, Kun Shao, Jun Wang

机构 * Deep Research Agents（深度研究代理） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)；分类 cs.AI

A Survey: Learning Embodied Intelligence from Physical Simulators and World Models

Xiaoxiao Long, Qingrui Zhao, Kaiwen Zhang, Zihao Zhang, Dingrui Wang, Yumeng Liu, Zhengjie Shu, Yi Lu, Shouzheng Wang, Xinzhe Wei, Wei Li, Wei Yin, Yao Yao, Jia Pan, Qiu Shen, Ruigang Yang, Xun Cao, Qionghai Dai

机构 * Nanjing University（南京大学） ； University of Hong Kong（香港大学） ； Central South University（中南大学） ； Horizon Robotics（Horizon机器人） ； Institute of Computing Technology, Chinese Academy of Sciences（中国科学院计算技术研究所） ； University of Chinese Academy of Sciences（中国科学院大学） ； Shanghai Jiao Tong University（上海交通大学） ； Technical University of Munich（慕尼黑技术大学） ； Tsinghua University（清华大学） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)

Comments Update with recent progresses. 49pages, 25figures, 6tables, github repository avalible in https://github.com/NJU3DV-LoongGroup/Embodied-World-Models-Survey

LawFlow: Collecting and Simulating Lawyers' Thought Processes on Business Formation Case Studies

Debarati Das, Khanh Chi Le, Ritik Sachin Parkar, Karin De Langis, Brendan Madson, Chad M. Berryman, Robin M. Willis, Daniel H. Moses, Brett McDonnell, Daniel Schwarcz, Dongyeop Kang

机构 * Computer Science and Engineering, University of Minnesota（计算机科学与工程系，明尼苏达大学） ； Law School, University of Minnesota（法学院，明尼苏达大学） 纠错

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

Comments Accepted at COLM 2025

Insertion Language Models: Sequence Generation with Arbitrary-Position Insertions

Dhruvesh Patel, Aishwarya Sahoo, Avinash Amballa, Tahira Naseem, Tim G. J. Rudner, Andrew McCallum

专题命中 规划推理 ：planning(abstract)；分类 cs.CL、cs.LG

Comments Additional related work. Code available at: https://dhruveshp.com/projects/ilm

Towards Digital Twins for Optimal Radioembolization

Nisanth Kumar Panneerselvam, Guneet Mummaneni, Emilie Roncali

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

Symbiotic Agents: A Novel Paradigm for Trustworthy AGI-driven Networks

Ilias Chatzistefanidis, Navid Nikaein

机构 * Eurecom（埃鲁埃康） 纠错

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

Comments Submitted to Computer Networks AI for 6G

Complementarity, Augmentation, or Substitutivity? The Impact of Generative Artificial Intelligence on the U.S. Federal Workforce

William G. Resh, Yi Ming, Xinyao Xia, Michael Overton, Gul Nisa Gürbüz, Brandon De Bruhl

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

Comments 53 pages, 9 figures, 3 tables

Plan More, Debug Less: Applying Metacognitive Theory to AI-Assisted Programming Education

Tung Phung, Heeryung Choi, Mengyan Wu, Adish Singla, Christopher Brooks

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

Comments AIED'25 paper

Generalizable Skill Learning for Construction Robots with Crowdsourced Natural Language Instructions, Composable Skills Standardization, and Large Language Model

Hongrui Yu, Vineet R. Kamat, Carol C. Menassa

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

Comments Under review for ASCE OPEN: Multidisciplinary Journal of Civil Engineering

TruthLens: Visual Grounding for Universal DeepFake Reasoning

Rohit Kundu, Shan Jia, Vishal Mohanty, Athula Balachandran, Amit K. Roy-Chowdhury

专题命中 视觉空间推理 ：reasoning(title,abstract)；分类 cs.AI

NOVER: Incentive Training for Language Models via Verifier-Free Reinforcement Learning

Wei Liu, Siya Qi, Xinyu Wang, Chen Qian, Yali Du, Yulan He

机构 * King’s College London（伦敦国王学院） ； The Alan Turing Institute（艾伦·图灵研究所） ； Shanghai Jiao Tong University（上海交通大学） 纠错

专题命中 测试时计算 ：verifier(title,abstract)；reasoning(abstract)；分类 cs.CL、cs.AI、cs.LG

Comments 20 pages, 5 tables, 12 figures. accepted to EMNLP 2025

Youtu-GraphRAG: Vertically Unified Agents for Graph Retrieval-Augmented Complex Reasoning

Junnan Dong, Siyu An, Yifei Yu, Qian-Wen Zhang, Linhao Luo, Xiao Huang, Yunsheng Wu, Di Yin, Xing Sun

专题命中 复杂问题求解 ：reasoning(title,abstract)

Comments 19 pages, 7 figures, 6 tables

MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents

Tomer Wolfson, Harsh Trivedi, Mor Geva, Yoav Goldberg, Dan Roth, Tushar Khot, Ashish Sabharwal, Reut Tsarfaty

机构 * University of Pennsylvania（宾夕法尼亚大学） ； Allen Institute for AI（人工智能研究院） ； Tel Aviv University（特拉维夫大学） ； Bar-Ilan University（巴伊兰大学） ； Oracle AI（Oracle人工智能） 纠错

专题命中 复杂问题求解 ：reasoning(title)；分类 cs.CL、cs.AI

Comments Accepted for publication in Transactions of the Association for Computational Linguistics (TACL), 2025. Authors pre-print

Towards Explainable Vulnerability Detection with Large Language Models

Qiheng Mao, Zhenhao Li, Xing Hu, Kui Liu, Xin Xia, Jianling Sun

专题命中 复杂问题求解 ：chain-of-thought(abstract)；CoT(abstract)

Automated Repair of C Programs Using Large Language Models

Mahdi Farzandway, Fatemeh Ghassemi

专题命中 推理评测 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)

AHELM: A Holistic Evaluation of Audio-Language Models

Tony Lee, Haoqin Tu, Chi Heem Wong, Zijun Wang, Siwei Yang, Yifan Mai, Yuyin Zhou, Cihang Xie, Percy Liang

机构 * Stanford University（斯坦福大学） ； University of California, Santa Cruz（加州大学圣克ruz分校） ； Hitachi America, Ltd.（日立美国有限公司） 纠错

专题命中 推理评测 ：reasoning(abstract)；分类 cs.CL、cs.AI

SinhalaMMLU: A Comprehensive Benchmark for Evaluating Multitask Language Understanding in Sinhala

Ashmari Pramodya, Nirasha Nelki, Heshan Shalinda, Chamila Liyanage, Yusuke Sakai, Randil Pushpananda, Ruvan Weerasinghe, Hidetaka Kamigaito, Taro Watanabe

机构 * Nara Institute of Science and Technology (NAIST)（奈良科学技术研究所） ； University of Colombo School of Computing (UCSC)（科伦坡大学计算学院） ； Informatics Institute of Technology (IIT)（信息技术研究所） 纠错

专题命中 推理评测 ：reasoning(abstract)；分类 cs.CL

Comments 19 pages, 11 figures

Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations

Fatih Pehlivan, Arçin Ülkü Ergüzen, Sahand Moslemi Yengejeh, Mayasah Lami, Anil Koyuncu

机构 * Bilkent University, Turkey（巴伊肯大学） 纠错

专题命中 推理评测 ：chain-of-thought(abstract)；分类 cs.AI

Comments Accepted to ASE2025

Advancing Dialectal Arabic to Modern Standard Arabic Machine Translation

Abdullah Alabdullah, Lifeng Han, Chenghua Lin

机构 * University of Manchester（曼彻斯特大学） ； School of Informatics, University of Edinburgh（爱丁堡大学信息学院） ； Leiden University（莱顿大学） ； LIACS ； LUMC 纠错

专题命中 推理评测 ：chain-of-thought(abstract)；分类 cs.CL

PixFoundation 2.0: Do Video Multi-Modal LLMs Use Motion in Visual Grounding?

Mennatullah Siam

专题命中 推理评测 ：reasoning(abstract)

Comments Work under review in NeurIPS 2025 with the title "Are we using Motion in Referring Segmentation? A Motion-Centric Evaluation"

Introducing LCOAI: A Standardized Economic Metric for Evaluating AI Deployment Costs

Eliseo Curcio

专题命中 推理评测 ：planning(abstract)