AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
迈向基于智能体的智能体模型：可行性、性能和统计模型检查
机构 * Sant’Anna School of Advanced Studies Pisa（比萨圣安娜高等研究学校） ； Sapienza University of Rome（罗马第一大学） ； DTU Technical University of Denmark（丹麦技术大学） ； University of Pisa（比萨大学）
专题命中 工具调用 ：agent(title,abstract)；agentic(title,abstract)；分类 cs.AI
AI总结 研究引入大语言模型驱动决策对基于智能体模型模拟的影响，以Mesa ABM模型为对象，扩展谢林隔离模型，通过统计模型检查进行分析，实验表明较小本地服务LLM有问题，较大模型通过初步检查，还探讨了统计模型检查的作用。
人工智能代理系统的确定性重放
专题命中 工具调用 ：agent(title,abstract)；AI agent(title,abstract)；分类 cs.AI
AI总结 研究人工智能代理系统不确定性问题，提出agrepl框架，通过MITM代理拦截外部交互并序列化，在隔离环境重放，形式化执行模型，经实验验证重放保真度高且延迟大幅降低，以Go实现并开源。
Comments 9 pages, 5 figures, 5 tables
PhysAgent：用于物理上合理的视频生成的反射式智能体物理控制
机构 * Shanghai Jiao Tong University（上海交通大学） ； Cardiff University（卡迪夫大学）
专题命中 工具调用 ：agentic(title,abstract)；agent(abstract)；分类 cs.AI
AI总结 研究物理上合理的视频生成问题，提出PhysAgent反射式智能体框架，通过闭环设计及物理控制API，改善参数控制，实现复杂轨迹等，实验证明其能生成更合理视频，有更好提示对齐及泛化效果。
Comments For project page, see https://iapple233.github.io/PhysAgent
AoA：基于重新设计语言抽象语法树的定理证明智能体
机构 * Nanyang Technological University Singapore（南洋理工大学新加坡分校） ； Imperial College London London, UK（伦敦帝国理工学院伦敦分校） ； University of Edinburgh Edinburgh, UK（爱丁堡大学爱丁堡分校）
专题命中 工具调用 ：agent(title,abstract)；分类 cs.AI、cs.LG、cs.SE
AI总结 研究针对交互式定理证明中人工操作限制可扩展性及基于LLM的证明智能体成本高的问题，提出将智能体从源文本提升到抽象语法树的方法，实现了AoA，在多个方面有显著提升且解决更多难题。
Comments 13 pages
用于智能电网的大语言模型和智能AI系统：架构与应用教程
机构 * Department of Electrical and Computer Engineering, University of California San Diego（加州大学圣迭戈分校电气与计算机工程系） ； Department of Electrical and Computer Engineering, University of Alberta（阿尔伯塔大学电气与计算机工程系）
专题命中 工具调用 ：agentic(title,abstract)；分类 cs.AI
AI总结 研究智能电网中LLMs和智能AI系统，提出基于求解器的设计原则，通过提示策略等构建模块及四个案例研究实例化该原则，比较不同方案，还提出四组评估框架，明确了各部分分工。
Comments 28 pages, 11 figures, 6 tables; plus supplementary material. Review/tutorial article
SlotGuard：阻止大语言模型代理转录中过度共享私有本地上下文
机构 * Siebel School of Computing（计算机科学系） ； Data Science, University of Illinois Urbana-Champaign（数据科学，伊利诺伊大学厄巴纳-香槟分校）
专题命中 工具调用 ：agent(title,abstract)；分类 cs.CL
AI总结 研究大语言模型代理转录本隐私泄露问题，提出SlotGuard方法，通过重写结构绑定、替换机密值、链接跨轮引用等操作隐藏敏感数据，在保持代理性能的同时大幅降低凭证泄漏率。
Comments ICML 2026 AIWILD
洛梅奎：大语言模型智能体中资源受限的工具发现
机构 * Sea12 Technologies（Sea12科技公司） ； Yale University（耶鲁大学）
专题命中 工具调用 ：tool use(abstract)；tool-use(abstract)；分类 cs.AI；agentic(comments)
AI总结 研究受认知科学启发区分工具使用与发现，将工具发现分解为好奇心、识别和效率，表明该框架可用于现有任务，证明识别与模型大小成反比，还通过组合博弈及模拟环境观察到反比缩放。
Comments All authors contributed equally. 17 pages, 6 figures. Presented at the 2026 Conference on Learning Theory Workshop on Learning in an Agentic World
验证、修复、重复还是停止？大语言模型代理中用于有噪声验证-修复循环的稳健停止方法
专题命中 工具调用 ：tool use(abstract)；分类 cs.AI、cs.SE
AI总结 研究大语言模型代理中验证-修复循环有噪声时缺乏停止原则的问题，提出VRR-Stop框架，通过四参数噪声模型和信念过滤估计有效性，依真实边际增益符号决策，配对VRR-Guard，提升了停止可靠性与真实有效性。
Comments 18 pages, 10 figures, 10 tables. Under review
共享发现悖论：单答案规则如何将更好的信息转化为更差的搜索
专题命中 工具调用 ：agent(abstract)；分类 cs.AI
AI总结 研究共享信息时单答案规则导致的发现悖论，通过可精确求解的十六盒模型对比不同情况，指出这是协议失败。还探讨了自利搜索者博弈及共同线索模型，贡献是分离信息等因素为精确可复用量的紧凑基准。
Comments 29 pages, 4 figures. Code, data, and an interactive guide: https://github.com/yoheinakajima/shared-discovery-paradox
为什么反馈增强的自蒸馏不能改进检索交织搜索智能体？
机构 * Chapman University（查普曼大学） ； Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室）
专题命中 工具调用 ：agentic(abstract)；分类 cs.AI
AI总结 研究反馈增强的自蒸馏在智能体搜索中失效的原因，发现模型存在解码崩溃现象，因监督信号不一致致学习不稳定，将其分解为模型和提示不一致，引入EMA教师减轻不一致，最终提高模型性能。
AgentBrew：从强大教师到弱小语言模型智能体的终身知识酿造
机构 * The University of Hong Kong（香港大学）
专题命中 工具调用 ：tool-use(abstract)；分类 cs.AI
AI总结 研究语言模型智能体知识酿造问题，提出AgentBrew方法，含失败触发教师和学生感知合成两个组件，无需训练，能将教师交互经验提炼到学生外部记忆，经实验验证可产生强大且可部署的智能体。
基于蒙特卡洛树搜索的实时飞行测试机动选择
专题命中 工具调用 ：planning(abstract)
AI总结 研究如何在资源限制下安排飞行架次机动动作以降不确定性，提出结合高斯过程与蒙特卡洛树搜索的实时规划框架，用加权综合方差减少评分，经模拟评估，该方法在降不确定性上优于基线，是提高飞行测试效率的有前途方法。
Comments N. E. Bostock and H. Pruitt-Kennett contributed equally. 9 pages, 4 figures. Accepted to the 45th AIAA/IEEE Digital Avionics Systems Conference (DASC 2026)
通过分析模型驱动的神经网络预测机器人手的抓握顺应性
机构 * Stevens Institute of Technology（史蒂文斯理工学院）
专题命中 工具调用 ：tool use(abstract)
AI总结 研究旨在开发强力交互时抓握工具行为的预测模型，引入分析模型驱动神经网络（AMINN），结合分析力学层与数据驱动学习，在三指欠驱动机器人手上评估，有强预测能力且实现更好物理一致性，推动了物理可解释学习。
Comments Preprint. 9 pages, 8 figures, 1 table
XMatcher：用于X射线衍射相识别的开源框架
专题命中 工具调用 ：workflow(abstract)
AI总结 介绍开源框架XMatcher，用于X射线衍射相识别。它集成多种功能于便携工作流程，能生成理论库、检索候选相、校正匹配并报告指标证据，其AutoMix模块可处理多相模式，通过图形界面提供可解释且可重现的相识别平台。
奖励驱动的大语言模型智能体工作流程：合成用于自主决策的部分可观测马尔可夫决策过程（POMDP）路由与自我修正
专题命中 规划决策 ：agent(title,abstract)；autonomous agent(abstract)；planning(abstract)；workflow(abstract)
AI总结 研究针对LLM智能体应用挑战，设计优化工作流程，合成多种AI范式，引入POMDP路由和自我修正奖励模型，整合多模态输入与强化学习原则，实验显示相比主流基线任务成功率等提升24.5%，为自主系统AI技术开发提供参考框架。
Comments 29 pages, 1 table, native TikZ/pgfplots diagrams. Code available at https://github.com/01Amez/RLAW_Implementation
WAR：用于同步智能体强化学习的工作负载感知展开
专题命中 规划决策 ：agentic(title,abstract)；agent(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 研究针对智能体强化学习中展开成为系统瓶颈的问题，提出工作负载感知展开系统WAR，通过联合优化解码和调度加速同步智能体RL，在不同负载下提高吞吐量，消除主要展开瓶颈，为长上下文智能体训练提供实用路径。
PhyAgentOS：一种用于具身智能体的自进化操作系统，具有解耦的认知规划和物理执行
机构 * X-Era Lab（X-Era实验室） ； HCP Lab, Sun Yat-sen University（中山大学HCP实验室） ； Peng Cheng Laboratory（鹏城实验室）
专题命中 规划决策 ：planning(title,abstract)；agent(abstract)；agentic(abstract)
AI总结 研究为具身智能体提出PhyAgentOS操作系统，其以会话为最小调度单位，用文件系统解耦认知与物理执行，通过会话验证器区分执行与任务完成，经认知记忆整合结果，有分层安全约束，在多模型和实体上验证并优于其他系统。
ETAS：一种用于智能体系统的效果类型化语言
机构 * The Hong Kong University of Science and Technology（香港科学与技术大学）
专题命中 规划决策 ：agent(title,abstract)；agentic(abstract)；分类 cs.AI、cs.LG
AI总结 研究针对智能体系统设计ETAS语言，核心方法是通过规范一致性分配类型并用行为索引跟踪计算，主要贡献是为智能体执行相关推理提供编程语言基础，涵盖授权、非确定性等方面，还实现了该语言并形式化相关性质。
指定委托自治边界：智能体人工智能的需求工程
机构 * Faculty of IT, Monash University（莫纳什大学信息科技学院） ； University of Duisburg-Essen（杜伊斯堡-埃森大学）
专题命中 规划决策 ：agentic(title,abstract)；agent(abstract)；分类 cs.AI、cs.SE
AI总结 研究智能体人工智能系统带来的需求工程问题，提出机构理由记录和智能体委托策略两个互补工件，通过分级建模权限，以医院出院协调智能体和自动代码审查智能体为例阐释框架，解决委托自治边界相关需求工程问题。
RECON：用于长上下文组合推理的智能体内存基准测试
机构 * RV College of Engineering（RV工程学院） ； Department of Computer Science and Engineering（计算机科学与工程系）
专题命中 规划决策 ：agent(title,abstract)；workflow(abstract)；分类 cs.AI
AI总结 该研究引入RECON基准测试，用于评估长上下文组合推理，跨越三个领域24个案例文件，测试智能体六个内存密集型任务，揭示当前架构在内存相关任务上存在重大局限，非预言机系统准确率低，检索和推理有挑战。
Comments 25 pages
何时进行规划：学习在反应式控制和审慎规划之间进行选择
专题命中 规划决策 ：planning(title,abstract)；agent(abstract)；分类 cs.AI
AI总结 研究智能体如何学习元推理能力，引入基于反应式策略不确定性得分分配计算的强化学习方法训练元推理策略，通过实证研究表明该设计能让元推理策略学会何时采用反应式策略，何时进行决策时规划，且能随反应式策略改进转向完全反应式控制。
Comments RLC 2026
UniETP：统一用于通用具身任务规划的环境
机构 * Peking University（北京大学）
专题命中 规划决策 ：planning(title,abstract)；agent(abstract)
AI总结 针对具身任务规划中模拟器和数据集孤立的问题，提出UniETP统一接口，整合四个常用模拟器，兼具标准化与多样性，构建新数据集，通过实验评估模型具身规划能力并分析瓶颈。
Comments We are actively working on releasing the codes and data
SAGE：用于潜在世界模型规划的子目标条件动作生成
机构 * Peking University（北京大学）
专题命中 规划决策 ：planning(title,abstract)；分类 cs.AI
AI总结 研究潜在世界模型规划中提议质量受限问题，提出先验条件规划器，利用目标条件生成器预测潜在子目标，结合不同时长子目标作先验，实验证明该方法显著提升长期规划性能。
使用Transformer进行规划：计算链与结构化上下文窗口
机构 * Department of Computing Science, University of Alberta（阿尔伯塔大学计算科学系） ； Alberta Machine Intelligence Institute (Amii)（阿尔伯塔机器智能研究所）
专题命中 规划决策 ：planning(title,abstract)；分类 cs.LG
AI总结 研究大语言模型解决规划问题的不足，提出计算链架构，利用结构化上下文窗口，让语言模型学习规划策略、预测世界模型并执行算术运算，在多个任务上取得高成功率，能解决复杂汉诺塔问题且减少训练数据。
用于紧密装配的流形引导运动规划
机构 * Blavatnik School of Computer Science and Artificial Intelligence, Tel-Aviv University（特拉维夫大学布拉瓦尼克计算机科学与人工智能学院）
专题命中 规划决策 ：planning(title,abstract)
AI总结 针对刚体装配运动规划因几何约束面临的挑战，提出临界流形引导的CMG-RRT规划器。它利用配置空间分层细分，将采样偏向临界流形邻域引导探索，经证明概率完备，在基准测试中成功率达100%，还解决了麋鹿拆解谜题。
Comments Appeared in the 17th World Symposium on the Algorithmic Foundations of Robotics (WAFR)
用于时间最优林业起重机运动规划的任务空间约束随机轨迹优化
机构 * Automation & Control Institute (ACIN), TU Wien（自动化与控制研究所，维也纳工业大学） ； Center for Vision, Automation & Control, AIT Austrian Institute of Technology GmbH（视觉、自动化与控制中心，奥地利技术研究院有限公司）
专题命中 规划决策 ：planning(title,abstract)
AI总结 针对液压泵流量约束下的林业起重机运动规划问题，提出TSC-VP-STO算法，通过任务空间约束联合优化轨迹与终端配置冗余自由度，相比基线算法平均轨迹时长减12 - 15%，泵流量利用改善，且经实际部署验证。
Comments Accepted at IROS 2026
ShotPlan：使用可学习规划令牌生成电影级视频
机构 * Institute of Artificial Intelligence (TeleAI), China Telecom（中国电信人工智能研究院（TeleAI）） ； Harbin Institute of Technology（哈尔滨工业大学）
专题命中 规划决策 ：planning(title,abstract)
AI总结 针对电影级视频生成难题，提出ShotPlan框架，基于视频扩散基础模型，引入可学习规划令牌捕捉镜头过渡线索，结合分数时间旋转位置嵌入在帧级别建模，实验证明其优于现有方法，提升了镜头管理与一致性。
Comments Project page: https://pensioner-11.github.io/ShotPlan/
用于非完整机器人无饱和运动规划的有限时间曲率约束向量场
机构 * School of Artificial Intelligence and Robotics, Hunan University（湖南大学人工智能与机器人学院） ； College of Information Science and Engineering, Hunan Normal University（湖南师范大学信息科学与工程学院） ； College of Systems Engineering and the State Key Laboratory of Digital Intelligent Modeling and Simulation, National University of Defense Technology（国防科技大学系统工程学院和数字智能建模与仿真国家重点实验室） ； Department of Computer Engineering, Automation & Robotics, and the Institute of Mathematics (IMAG), University of Granada（格拉纳达大学计算机工程、自动化与机器人系以及数学研究所（IMAG））
专题命中 规划决策 ：planning(title,abstract)
AI总结 针对非完整机器人运动规划问题，提出由有限时间曲率约束向量场和无饱和控制律组成的框架。通过构建FT-C2VF实现有限时间收敛并满足曲率约束，开发控制器跟踪该场，经分析和实验验证方法有效且鲁棒。
PERA：一种感知-推理-行动接口，用于6G的传感、认知推理和可信智能体响应
专题命中 规划决策 ：agentic(title,abstract)
AI总结 研究针对下一代网络实现中传统机器学习和大语言模型的局限，提出基于感知-推理-行动（PERA）范式的生成网络智能，用多任务架构取代边缘模型，降低复杂性与能耗，通过案例研究验证其在链路状态分类和波束预测上的有效性。
Comments 9 pages, 5 figures, 1 table, magazine paper, submitted to IEEE for possible publication
基于超宽带定位和D* Lite路径规划算法的视障者室内导航系统
专题命中 规划决策 ：planning(title,abstract)
AI总结 针对视障者室内导航问题，提出基于UWB定位技术和D* Lite路径规划算法的系统，利用UWB传感器定位，集成算法优化轨迹、应对动态障碍，实验表明系统可靠低延迟，为视障者提供安全灵活的室内导航。
Comments 6 pages, 7 figures, 3 tables
Journal ref Proceedings of the 8th Vietnam International Conference and Exhibition on Control and Automation (VCCA-2026), pp.1029-1034, 2026
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈