大模型推理能力

Report on NSF Workshop on Science of Safe AI

Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina Păsăreanu, René Vidal

机构 * University of Pennsylvania（宾夕法尼亚大学） ； NASA Ames and CMU（NASA阿姆斯特朗研究中心和卡内基梅隆大学） ； The University of Texas at Austin（德克萨斯大学奥斯汀分校） ； Cornell University（康奈尔大学） ； Penn（宾夕法尼亚大学） ； UT Austin（德克萨斯大学奥斯汀分校） ； CMU（卡内基梅隆大学） 纠错

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

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Dipayan Saha, Shams Tarek, Hasan Al Shaikh, Khan Thamid Hasan, Pavan Sai Nalluri, Md. Ajoad Hasan, Nashmin Alam, Jingbo Zhou, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi

机构 * Department of Electrical and Computer Engineering, University of Florida（电子与计算机工程系，佛罗里达大学） 纠错

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

Is an object-centric representation beneficial for robotic manipulation ?

Alexandre Chapin, Emmanuel Dellandrea, Liming Chen

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

Journal ref ROBOVIS 2025, Feb 2025, Porto, Portugal

Resource-Friendly Dynamic Enhancement Chain for Multi-Hop Question Answering

Binquan Ji, Haibo Luo, Yifei Lu, Lei Hei, Jiaqi Wang, Tingjing Liao, Lingyu Wang, Shichao Wang, Feiliang Ren

机构 * School of Computer Science and Engineering, Northeastern University（计算机科学与工程学院，东北大学） 纠错

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

Cross-Modal Obfuscation for Jailbreak Attacks on Large Vision-Language Models

Lei Jiang, Zixun Zhang, Zizhou Wang, Xiaobing Sun, Zhen Li, Liangli Zhen, Xiaohua Xu

机构 * University of Science and Technology of China（中国科学技术大学） ； The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）） ； Institute of High Performance Computing, A*STAR, Singapore（新加坡A*STAR高性能计算研究所） 纠错

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

Comments 15 pages, 9 figures

Domain Specific Benchmarks for Evaluating Multimodal Large Language Models

Khizar Anjum, Muhammad Arbab Arshad, Kadhim Hayawi, Efstathios Polyzos, Asadullah Tariq, Mohamed Adel Serhani, Laiba Batool, Brady Lund, Nishith Reddy Mannuru, Ravi Varma Kumar Bevara, Taslim Mahbub, Muhammad Zeeshan Akram, Sakib Shahriar

机构 * Rutgers University（罗切斯特大学） ； Iowa State University（爱荷华州立大学） ； Zayed University（扎耶德大学） ； United Arab Emirates University（阿拉伯联合酋长国大学） ； University of Sharjah（沙迦大学） ； University of North Texas（北德克萨斯大学） ； George Washington University（乔治·华盛顿大学） ； University of Louisville（路易斯维尔大学） ； University of Guelph（圭尔夫大学） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

Disentangling and Integrating Relational and Sensory Information in Transformer Architectures

Awni Altabaa, John Lafferty

机构 * Yale University（耶鲁大学） ； Wu Tsai Institute, Yale University（耶鲁大学吴莎研究所） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

Comments ICML 2025

CC-LEARN: Cohort-based Consistency Learning

Xiao Ye, Shaswat Shrivastava, Zhaonan Li, Jacob Dineen, Shijie Lu, Avneet Ahuja, Ming Shen, Zhikun Xu, Ben Zhou

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

Task-Agnostic Experts Composition for Continual Learning

Luigi Quarantiello, Andrea Cossu, Vincenzo Lomonaco

机构 * Computer Science Department, University of Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa - Italy（意大利比萨大学计算机科学系） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

AgentGroupChat-V2: Divide-and-Conquer Is What LLM-Based Multi-Agent System Need

Zhouhong Gu, Xiaoxuan Zhu, Yin Cai, Hao Shen, Xingzhou Chen, Qingyi Wang, Jialin Li, Xiaoran Shi, Haoran Guo, Wenxuan Huang, Hongwei Feng, Yanghua Xiao, Zheyu Ye, Yao Hu, Shaosheng Cao

机构 * Shanghai Key Laboratory of Data Science, School of Computer Science, Fudan University（上海数据科学 key laboratory，计算机科学学院，复旦大学） ； Fudan University（复旦大学） ； Rhine AI ； East China Normal University（华东师范大学） ； Xiaohongshu（小红书） 纠错

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

Enhancing Goal-oriented Proactive Dialogue Systems via Consistency Reflection and Correction

Didi Zhang, Yaxin Fan, Peifeng Li, Qiaoming Zhu

专题命中 复杂问题求解 ：planning(abstract)；分类 cs.CL

Comments Accepted by ACL'25 (main conference)

A Survey on World Models Grounded in Acoustic Physical Information

Xiaoliang Chen, Le Chang, Xin Yu, Yunhe Huang, Xianling Tu

机构 * SoundAI Technology Co., Ltd.（声AI技术有限公司） 纠错

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

Comments 28 pages,11 equations

TaskCraft: Automated Generation of Agentic Tasks

Dingfeng Shi, Jingyi Cao, Qianben Chen, Weichen Sun, Weizhen Li, Hongxuan Lu, Fangchen Dong, Tianrui Qin, King Zhu, Minghao Liu, Jian Yang, Ge Zhang, Jiaheng Liu, Changwang Zhang, Jun Wang, Yuchen Eleanor Jiang, Wangchunshu Zhou

机构 * Full author list in Contributions（完整作者列表） 纠错

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

EvolvTrip: Enhancing Literary Character Understanding with Temporal Theory-of-Mind Graphs

Bohao Yang, Hainiu Xu, Jinhua Du, Ze Li, Yulan He, Chenghua Lin

机构 * The University of Manchester（曼彻斯特大学） ； King’s College London（伦敦国王学院） ； Huawei London Research Centre（华为伦敦研究中心） ； Huawei Technologies Co., Ltd.（华为技术有限公司） ； The Alan Turing Institute（艾伦·图灵研究所） 纠错

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

Monitoring Decomposition Attacks in LLMs with Lightweight Sequential Monitors

Chen Yueh-Han, Nitish Joshi, Yulin Chen, Maksym Andriushchenko, Rico Angell, He He

机构 * New York University（纽约大学） ； École Polytechnique Fédérale de Lausanne（瑞士联邦理工学院） 纠错

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

ReflecTool: Towards Reflection-Aware Tool-Augmented Clinical Agents

Yusheng Liao, Shuyang Jiang, Yanfeng Wang, Yu Wang

机构 * Shanghai Jiao Tong University（上海交通大学） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Fudan University（复旦大学） 纠错

专题命中 复杂问题求解 ：verifier(abstract)；分类 cs.CL

Comments ACL 2025 Main Paper

Enter: Graduated Realism: A Pedagogical Framework for AI-Powered Avatars in Virtual Reality Teacher Training

Judson Leroy Dean Haynes

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

Leveraging GPT-4 for Vulnerability-Witnessing Unit Test Generation

Gábor Antal, Dénes Bán, Martin Isztin, Rudolf Ferenc, Péter Hegedűs

专题命中 复杂问题求解 ：self-correction(abstract)；分类 cs.AI

Multiverse: Your Language Models Secretly Decide How to Parallelize and Merge Generation

Xinyu Yang, Yuwei An, Hongyi Liu, Tianqi Chen, Beidi Chen

机构 * Carnegie Mellon University（卡内基梅隆大学） ； Nvidia（英伟达） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

NOCL: Node-Oriented Conceptualization LLM for Graph Tasks without Message Passing

Wei Li, Mengcheng Lan, Jiaxing Xu, Yiping Ke

机构 * College of Computing and Data Science（计算与数据科学学院） ； Nanyang Technological University（南洋理工大学） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

Comments 10 pages, 4 figures. arXiv admin note: text overlap with arXiv:1703.00552, arXiv:1403.2844 by other authors

GraphThought: Graph Combinatorial Optimization with Thought Generation

Zixiao Huang, Lifeng Guo, Wenhao Li, Junjie Sheng, Chuyun Shen, Haosheng Chen, Bo Jin, Changhong Lu, Xiangfeng Wang

机构 * East China Normal University（东华大学） ； Tongji University（同济大学） ； Shanghai Research Institute for Intelligent Autonomous Systems, Tongji University（上海智能自主系统研究院，同济大学） ； Key Laboratory of Mathematics and Engineering Applications, MoE, East China Normal University（数学与工程应用重点实验室，教育部，东华大学） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

Comments 41 pages, 5 figures, 13 tables

SelectLLM: Query-Aware Efficient Selection Algorithm for Large Language Models

Kaushal Kumar Maurya, KV Aditya Srivatsa, Ekaterina Kochmar

机构 * Mohamed Bin Zayed University of Artificial Intelligence（Mohamed Bin Zayed人工智能大学） 纠错

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

Comments 9 pages

Journal ref ACL 2025 (Findings)

MAGIC-VQA: Multimodal And Grounded Inference with Commonsense Knowledge for Visual Question Answering

Shuo Yang, Siwen Luo, Soyeon Caren Han, Eduard Hovy

机构 * The University of Melbourne（墨尔本大学） ； The University of Western Australia（西澳大学） 纠错

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

Comments Findings of ACL 2025

Fact in Fragments: Deconstructing Complex Claims via LLM-based Atomic Fact Extraction and Verification

Liwen Zheng, Chaozhuo Li, Zheng Liu, Feiran Huang, Haoran Jia, Zaisheng Ye, Xi Zhang

机构 * Key Laboratory of Trustworthy Distributed Computing and Service (MoE)（可信分布式计算与服务重点实验室） ； Beijing Academy of Artificial Intelligence（北京人工智能研究院） ； Jinan University（暨南大学） ； Department of Gastric Surgery, Clinical Oncology School of Fujian Medical University, Fujian Cancer Hospital(Fujian Branch of Fudan University Shanghai Cancer Center)（福建医科大学胃外科临床肿瘤学院、福建肿瘤医院（复旦大学上海肿瘤中心福建分部）） 纠错

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

Shapley-Coop: Credit Assignment for Emergent Cooperation in Self-Interested LLM Agents

Yun Hua, Haosheng Chen, Shiqin Wang, Wenhao Li, Xiangfeng Wang, Jun Luo

机构 * Antai College of Economics and Management, Shanghai Jiao Tong University, Shanghai, China（上海交通大学安泰经济管理学院） ； School of Computer Science and Technology, East China Normal University, Shanghai, China（华东师范大学计算机科学与技术学院） ； School of Computer Science and Technology, Tongji University, Shanghai, China（同济大学计算机科学与技术学院） 纠错

专题命中 复杂问题求解 ：chain-of-thought(abstract)；分类 cs.AI

Question Answering under Temporal Conflict: Evaluating and Organizing Evolving Knowledge with LLMs

Atahan Özer, Çağatay Yıldız

机构 * University of Tübingen（图宾根大学） 纠错

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

Zero-Shot Event Causality Identification via Multi-source Evidence Fuzzy Aggregation with Large Language Models

Zefan Zeng, Xingchen Hu, Qing Cheng, Weiping Ding, Wentao Li, Zhong Liu

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

How to Mitigate Information Loss in Knowledge Graphs for GraphRAG: Leveraging Triple Context Restoration and Query-Driven Feedback

Manzong Huang, Chenyang Bu, Yi He, Xindong Wu

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

Comments This paper has been accepted to IJCAI 2025

Dynamic and Parametric Retrieval-Augmented Generation

Weihang Su, Qingyao Ai, Jingtao Zhan, Qian Dong, Yiqun Liu

机构 * Tsinghua University（清华大学） 纠错

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

LLMs Can Also Do Well! Breaking Barriers in Semantic Role Labeling via Large Language Models

Xinxin Li, Huiyao Chen, Chengjun Liu, Jing Li, Meishan Zhang, Jun Yu, Min Zhang

机构 * Institute of Computing and Intelligence, Harbin Institute of Technology (Shenzhen)（计算与智能研究院，哈尔滨工业大学（深圳）） ； School of Electrical Engineering and Automation, Harbin Institute of Technology（电气工程与自动化学院，哈尔滨工业大学） ； Computer Science Department, Harbin Institute of Technology (Shenzhen)（计算机科学系，哈尔滨工业大学（深圳）） 纠错

专题命中 复杂问题求解 ：self-correction(abstract)；分类 cs.CL

Comments 19 pages, 3 figures, 10 tables