Why Not? Solver-Grounded Certificates for Explainable Mission Planning
为何不?基于求解器的可解释任务规划证书
机构 * Serana AI Inc.(Serana AI公司)
专题命中 规划决策 :planning(title);分类 cs.AI
AI总结 本文提出基于求解器的可解释任务规划证书方法,通过优化模型本身生成解释,实现正确性、反事实有效性及稳定性,提升调度决策的可解释性。
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
为何不?基于求解器的可解释任务规划证书
机构 * Serana AI Inc.(Serana AI公司)
专题命中 规划决策 :planning(title);分类 cs.AI
AI总结 本文提出基于求解器的可解释任务规划证书方法,通过优化模型本身生成解释,实现正确性、反事实有效性及稳定性,提升调度决策的可解释性。
解决粒度不匹配问题:用于长周期LLM代理的层次化偏好学习
机构 * Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ)(人工智能与数字经济广东实验室) ; Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院) ; Baidu Inc.(百度公司)
专题命中 规划决策 :agent(abstract);autonomous agent(abstract);分类 cs.AI、cs.LG
AI总结 本文提出层次化偏好学习方法,通过双层课程引导解决LLM代理长周期任务中的粒度不匹配问题,提升多粒度偏好优化能力。
Comments Accepted to ICLR 2026
HiMAC:用于长视界LLM代理的分层宏微学习
机构 * School of Electronic and Computer Engineering(电子与计算机工程学院) ; Peking University(北京大学)
专题命中 规划决策 :planning(abstract);agentic(abstract);分类 cs.AI、cs.LG
AI总结 HiMAC通过分层宏微学习框架,提升LLM代理在长视界任务中的规划与执行能力,实现更高效的强化学习训练。
评估组织工程血管移植物位移的血流动力学影响:结合术后体内结果和计算建模以改进手术规划
专题命中 规划决策 :planning(title)
AI总结 本研究通过结合体内结果和计算建模,评估TEVG位移和大小对血流动力学的影响,以改进手术规划。
CAIMAN:用于样本高效移动-操作的因果动作影响检测
机构 * ETH Zurich(苏黎世联邦理工学院)
专题命中 规划决策 :agent(abstract);planning(abstract);分类 cs.LG
AI总结 CAIMAN通过因果动作影响作为内在动机目标,提升腿部机器人在稀疏奖励下的样本效率和移动-操作能力。
第一人称共驾:面向辅助第一人称AI的网页原生智能眼镜代理
机构 * Shenzhen International Graduate School Tsinghua University Shenzhen China(深圳国际研究生院清华大学深圳中国) ; Independent Researcher London United Kingdom(独立研究者伦敦英国) ; Queen Mary University of London London United Kingdom(女王玛丽大学伦敦英国) ; Imperial College London London United Kingdom(帝国理工学院伦敦英国) ; University Of Surrey Guildford United Kingdom(Surrey大学Guildford英国)
专题命中 规划决策 :AI agent(abstract);tool use(abstract);分类 cs.AI
AI总结 Egocentric Co-Pilot通过网页原生智能眼镜代理实现第一人称AI的持续辅助,结合神经符号框架和多模态意图层,展示了在日常生活中提升可及性和情境感知的实用路径。
Comments 14 pages, 6 figures, WWW 2026
从文献到假设:一种用于生物标志物引导的药物组合假设生成的AI合作者系统
机构 * Peter L. Reichertz Institute for Medical Informatics (PLRI), Hannover Medical School(汉诺威医学院彼得·L·里赫茨医学信息学研究所) ; Lower Saxony Center for Artificial Intelligence and Causal Methods in Medicine (CAIMed)(下萨克森医学人工智能与因果方法中心) ; Sanford Burnham Prebys (SBP) Medical Discovery Institute, San Diego(圣地亚哥桑福尔德·伯恩斯医学发现研究所)
专题命中 规划决策 :agent(abstract);workflow(abstract);分类 cs.CL
AI总结 本文提出 AI 合作者系统 CoDHy,通过整合生物医学知识图谱和文献证据,实现基于生物标志物的药物组合假设生成与验证。
ZeroDVFS: 面向嵌入式平台的零样本LLM引导的核心与频率分配
机构 * Wayne State University(韦恩州立大学) ; Iowa State University(爱荷华州立大学) ; The University of Texas at Dallas(德克萨斯大学达拉斯分校)
专题命中 规划决策 :agent(abstract);multi-agent(abstract);分类 cs.AI
AI总结 ZeroDVFS通过基于模型的强化学习和LLM引导的语义特征提取,实现嵌入式平台的零样本核心与频率分配,显著提升能效和任务完成效率。
Comments 56 pages, 14 figures, 18 tables (including appendix)
DriveCombo:自主驾驶中组合交通规则推理的基准测试
机构 * Autolab, Westlake University(西lake大学自动化实验室) ; Li Auto Inc(Li Auto公司) ; Tsinghua University(清华大学) ; The University of Hong Kong(香港大学)
专题命中 规划决策 :agent(abstract);planning(abstract)
AI总结 DriveCombo提出了一种基于文本和视觉的基准,用于评估自动驾驶中复杂交通规则的推理能力,通过五级认知阶梯和Rule2Scene代理提升模型在多规则冲突场景下的性能。
通过动作层面操控实现体感大语言模型的突破
机构 * The Hong Kong Polytechnic University, Hong Kong SAR, China(香港理工大学) ; University of Cambridge, Cambridge, United Kingdom(剑桥大学)
专题命中 规划决策 :AI agent(abstract);planning(abstract)
AI总结 Blindfold通过动作层面操控实现对体感大语言模型的突破,其攻击成功率显著高于现有基线,凸显了对后果感知防御机制的迫切需求。
Comments This paper has been officially accepted for ACM SenSys 2026
利用LLM生成的行为树实现多台施工机械的协调控制
机构 * Graduate School of Information Science and Electrical Engineering, Kyushu University(九州大学信息科学与电气工程研究生院) ; Public Works Research Institute(公共工程研究所) ; Institute of Systems and Information Engineering, University of Tsukuba(筑波大学系统与信息工程研究所) ; Faculty of Information Science and Electrical Engineering, Kyushu University(九州大学信息科学与电气工程学部)
专题命中 规划决策 :planning(abstract);workflow(abstract)
AI总结 本文提出利用LLM生成行为树实现施工机械协调控制,通过同步标志提升多机协作效率,实验验证其在土方自动化中的可行性。
Comments 9 pages, 7 figures
用于强化学习的假设驱动临床决策制定语言代理
机构 * Technical University of Munich(慕尼黑技术大学) ; Munich Center for Machine Learning(慕尼黑机器学习中心)
专题命中 规划决策 :agent(abstract);分类 cs.AI、cs.CL、cs.LG
AI总结 本文提出了一种基于强化学习的假设驱动语言代理LA-CDM,用于提升临床诊断的准确性和效率。
AMemGym:用于长时对话中助手的交互式记忆基准测试
机构 * The Hong Kong University of Science and Technology(香港科技大学) ; Meituan(美团)
专题命中 规划决策 :agentic(abstract);分类 cs.AI、cs.CL
AI总结 AMemGym通过交互式环境实现长时对话中助手的内存管理优化,揭示现有内存系统性能差距并推动策略自我进化。
Comments Accepted to ICLR 2026
通过加权互信息数据选择实现高效的RLVR训练
专题命中 规划决策 :planning(abstract);分类 cs.CL、cs.LG
AI总结 InSight通过加权互信息数据选择方法提升RLVR训练效率,实现性能和加速的显著提升。
Comments 15 Pages
稳定异步性:用于大语言模型的方差控制的非策略强化学习
机构 * MIT(麻省理工学院) ; NVIDIA(英伟达)
专题命中 规划决策 :tool-use(abstract);分类 cs.AI、cs.LG
AI总结 VCPO通过动态调整学习率和最小方差基线,提升大语言模型异步训练的稳定性与效率。
像放射科医生一样推理:用于可验证报告生成的推理链和强化学习
专题命中 规划决策 :workflow(abstract);分类 cs.AI、cs.CL
AI总结 BoxMed-RL通过推理链和强化学习生成可验证的放射科报告,提升报告的准确性和可解释性。
通过正则化构建离散世界模型
机构 * University of Padua(帕多瓦大学) ; Fonadazione Bruno Kessler(布鲁诺·凯斯勒基金会)
专题命中 规划决策 :planning(abstract);分类 cs.AI、cs.LG
AI总结 DWMR通过正则化方法实现无监督布尔世界模型学习,提高表示准确性和转换性能。
MVR:多视图视频奖励塑造用于强化学习
机构 * School of Intelligence Science and Technology, Peking University(北京大学智能科学与技术学院) ; State Key Laboratory of General Artificial Intelligence, BIGAI(通用人工智能国家重点实验室)
专题命中 规划决策 :agent(abstract);分类 cs.AI、cs.LG
AI总结 MVR通过多视角视频和视觉语言模型提升强化学习中的奖励塑造,有效解决复杂动态任务中的状态相关性和视角偏见问题。
Comments ICLR 2026
FreeGNN: 为可再生能源预测的连续无源图神经网络适应
机构 * Computer Science and Applied Mathematics Laboratory (LIMA), Faculty of Science and Technology, Chadli Bendjedid University(计算机科学与应用数学实验室(LIMA),科学与技术学院,查德利·本杰迪德大学) ; Mathematical Modeling and Numerical Simulation Laboratory (LAM2SIN), Faculty of Technology, Badji Mokhtar University(数学建模与数值模拟实验室(LAM2SIN),技术学院,巴杰·莫克塔尔大学) ; College of Information Technology, United Arab Emirates University(信息科技学院,阿拉伯联合酋长国大学)
专题命中 规划决策 :planning(abstract);分类 cs.AI、cs.LG
AI总结 FreeGNN通过连续无源图神经网络适应技术,实现对可再生能源预测的准确鲁棒性,适用于多站点、多时间分辨率的实时环境适应。
Comments 16 pages, 8 figures, 8 tables
可证明且实用的上下文内策略优化用于自我改进
专题命中 规划决策 :agent(abstract);分类 cs.AI、cs.LG
AI总结 本文提出ICPO方法,通过上下文内自我反思和最小熵优化,在保持低推理成本的同时实现数学推理任务的高性能
Comments 34 pages, 8 tables, 4 figures, Accepted by ICLR 2026
从复杂性学习:探索时空训练的动态样本修剪
机构 * HKUST(GZ)(香港科技大学(广州))
专题命中 规划决策 :planning(abstract);分类 cs.AI、cs.LG
AI总结 本文提出ST-Prune方法,通过动态样本修剪提升时空预测任务的训练效率和模型性能。
追逐尾部:基于评分标准的奖励建模以实现大语言模型的后训练效果
机构 * University of California, Los Angeles(加州大学洛杉矶分校) ; Scale AI, Inc.(Scale AI 公司) ; University of Chicago(芝加哥大学)
专题命中 规划决策 :workflow(abstract);分类 cs.AI、cs.LG
AI总结 本文提出基于评分标准的奖励建模方法,通过关注高奖励区域以缓解大语言模型强化微调中的奖励过度优化问题,并实现有效的后训练改进。
Comments In ICLR 2026
CityLens:评估大型视觉-语言模型用于城市社会经济感知
机构 * Information Hub, The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州)信息中心) ; Department of Electronic Engineering, BNRist, Tsinghua University(清华大学电子工程系) ; School of Electronic and Information Engineering, Beijing Jiaotong University(北京交通大学电子与信息工程学院)
专题命中 规划决策 :planning(abstract);分类 cs.AI、cs.CL
AI总结 CityLens通过评估大型视觉-语言模型在城市社会经济指标预测中的表现,揭示了其在可持续城市发展中的潜力与局限性。
Comments Accepted by ICLR 2026
学习探索:基于策略的异常合成用于图分布外检测
专题命中 规划决策 :agent(abstract);分类 cs.AI、cs.LG
AI总结 PGOS通过强化学习策略生成高质量伪OOD图,提升图分布外检测的鲁棒性与性能
Comments Accepted by AAAI'26, 9 pages
继承性几何元强化学习:通过任务对称性实现非局部泛化
专题命中 规划决策 :agent(abstract);分类 cs.AI、cs.LG
AI总结 本文提出继承性几何元强化学习方法,通过任务对称性实现非局部泛化,提升任务空间泛化能力。
Comments Accepted to 2026 American Control Conference
Reasoning Core:一个可扩展的程序化数据生成套件,用于符号预训练和后训练
机构 * Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 - CRIStAL(里尔大学、法国国家信息与自动化研究所、法国国家科学研究中心、中央理工大学、UMR 9189 - CRIStAL)
专题命中 规划决策 :planning(abstract);分类 cs.CL
AI总结 Reasoning Core 提出了一种可扩展的程序化数据生成套件,用于符号预训练和后训练,通过生成多样化的符号推理数据提升语言模型的推理能力。
Comments Keywords: LLMs, NLP, Dataset, Corpus, Procedural Pre-training, Reasoning, Logic, Formal Semantics https://github.com/sileod/reasoning_core
面向客户端开发的生产级AI编码系统
专题命中 规划决策 :planning(abstract);分类 cs.SE
AI总结 本文提出了一种面向客户端开发的生产级AI编码系统,通过结构化多阶段流程整合Figma设计、PRD和领域知识,提升代码生成与产品需求的对齐性。
Comments 18 pages, 2 figures
信息论框架用于自适应模型预测控制器
专题命中 规划决策 :planning(abstract);分类 cs.AI
AI总结 本文提出基于信息论的纠缠学习框架,通过信息数字双胞胎提升MPC的自适应能力,实现对动态环境的实时响应与优化。
Comments 9 pages, 5 figures
TARSE: 通过检索技能和经验进行测试时适应以实现推理代理
机构 * University of Massachusetts Amherst, MA, USA(马萨诸塞大学阿姆赫斯特分校) ; University of Massachusetts Lowell, MA, USA(马萨诸塞大学洛厄尔分校)
专题命中 规划决策 :agent(abstract);分类 cs.AI
AI总结 TARSE通过检索技能和经验实现测试时适应,提升医疗推理代理的可靠性。
从部分片段评估GFlowNet以实现稳定且灵活的基于策略的训练
机构 * Texas A&M University(德克萨斯大学) ; Brookhaven National Laboratory(布鲁克海文国家实验室)
专题命中 规划决策 :workflow(abstract);分类 cs.LG
AI总结 本文提出了一种基于流平衡的评估方法,用于提升基于策略的训练的稳定性和灵活性,通过在部分片段上学习评估器来减少策略分歧。
Comments Accepted by ICLR 2026