LLM3:Large Language Model-based Task and Motion Planning with Motion Failure Reasoning
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments IROS 2024. Codes available: https://github.com/AssassinWS/LLM-TAMP
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments IROS 2024. Codes available: https://github.com/AssassinWS/LLM-TAMP
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.CL
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments 24 pages
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments 15 pages, 8 figures, 7 tables
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments 25 pages, 7 figures
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments 24 pages
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages. arXiv admin note: text overlap with arXiv:1904.00512
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract);分类 cs.AI
Comments 39 pages, 13 figures. to appear in Logical Methods in Computer Science
Journal ref Logical Methods in Computer Science, Volume 2, Issue 3 (September 26, 2006) lmcs:2247
RREDCoT: 推理模型的片段级奖励再分配
机构 * ELLIS Unit Linz and LIT AI Lab, Institute for Machine Learning, Johannes Kepler University Linz, Austria(林茨ELLIS单元和LIT人工智能实验室,机器学习研究所,林茨约瑟夫·冯·拉格纳大学,奥地利) ; Cognizant AI Lab, San Francisco, USA(认知人工智能实验室,美国旧金山) ; NXAI GmbH, Linz, Austria(NXAI公司,奥地利林茨)
专题命中 规划推理 :reasoning(title,abstract);CoT(abstract,abstract_cn);chain-of-thought(abstract);分类 cs.AI、cs.LG
AI总结 针对推理语言模型强化学习微调中的延迟奖励问题,提出RREDCoT方法,利用模型自身近似最优奖励再分配,无需额外生成,降低方差并提升信用分配效率。
Comments Preprint, under review
自适应潜在智能推理
机构 * University of California, Davis(加州大学戴维斯分校) ; University of Waterloo(滑铁卢大学) ; Greenshoe, Inc.(Greenshoe公司)
专题命中 规划推理 :reasoning(title,abstract);CoT(abstract,abstract_cn);chain-of-thought(abstract);分类 cs.CL、cs.AI
AI总结 提出双模式框架ALAR,在常规决策步骤使用紧凑潜在推理,仅在需要深入思考时切换至显式思维链,在保持或提升任务准确率的同时显著减少生成令牌数。
GateLens: 一种增强推理能力的LLM代理用于汽车软件发布分析
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);planning(abstract)
AI总结 GateLens是一种基于LLM的代理,通过引入关系代数作为中间表示,提升复杂表格数据分析的效率与准确性,适用于汽车软件发布分析领域。
SPIRAL:通过 grounded 和 reflective 搜索实现符号 LLM 规划
机构 * IBM T.J. Watson Research Center(IBM TJ沃森研究中心)
专题命中 规划推理 :planning(title,abstract);reasoning(abstract);chain-of-thought(abstract);self-correction(abstract)
AI总结 SPIRAL 通过 grounded 和 reflective 搜索实现更稳健高效的 LLM 规划
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);planning(abstract)
正确推理路径访问共享决策枢纽
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);verifier(abstract)
AI总结 本文提出了一种基于决策枢纽的自训练方法,通过挖掘共享决策点提升大语言模型的推理能力。
Comments 18 pages, 10 figures
Journal ref NeurIPS 2025 Workshop on Foundations of Reasoning in Language Models (FoRLM)
SAGP:基于粗区域VLM推理的语义 affordance 引导抓取规划
机构 * Khalifa University(哈利法大学) ; KU Center for Autonomous Robotic Systems (KUCARS)(KU自主机器人系统中心(KUCARS))
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 SAGP是一种无训练的抓取规划框架,通过粗区域抽象层结合VLM推理与几何规划,在保持纯几何抓取高成功率的同时,提升了抓取的功能适用性,尤其适用于非对称带把手物体。
Comments Accepted in ICAME2026
当RAG遇见查询规划:用于解决探索性推理问题的逻辑查询树
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 针对检索增强生成在探索性推理问题中的检索噪声和错误累积问题,提出PlanRAG框架,将自然语言建模为逻辑查询树,通过动态规划和代价模型优化查询树,实现高效并行处理,在WikiWeb-ERP数据集上优于现有方法。
Comments Accepted by SIGMOD 2027
PLanAR:面向机器人操作的规划语言基础智能推理
机构 * Purdue University(普渡大学) ; Istituto Italiano di Tecnologia(意大利理工研究院)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 提出PLanAR框架,通过规划语言接口定义VLM推理空间,实现开放词汇的长时域机器人操作,并支持逐步验证与重规划。
Comments New version with updated framing, contributions, experiments, and figures
PRISM:在模拟的具身环境中进行规划与意图推理
机构 * A*STAR ; National University of Singapore(国立新加坡大学) ; BAAI(北京人工智能研究院)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 PRISM通过诊断性基准测试识别具身代理失败的根源,通过三个能力层级评估基本能力、推理能力和长周期能力,揭示不同模型在空间定位、意图解析和长周期协调上的性能差异。
CORAL:在分层视觉语言框架中实现上下文推理与局部规划用于水下监测
专题命中 规划推理 :reasoning(title,abstract);planning(title);self-correction(abstract)
AI总结 CORAL框架通过分离高层语义推理与底层反应控制,提升水下监测的覆盖率和安全性,减少碰撞并降低对VLM的调用次数。
Comments Submitted to IROS 2026
利用视觉语言模型推理来约束任务和运动规划
机构 * Department of Computer Science, Purdue University(普渡大学计算机科学系) ; Department of Computer Science, Rice University(莱斯大学计算机科学系) ; Ken Kennedy Institute, Rice University(莱斯大学肯尼迪研究所)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 本文提出VIZ-COAST方法,利用大预训练视觉语言模型的空间推理能力,提前识别向下细化中的问题,减少规划时间并消除失败。
Comments 9 pages, 7 figures, 1 table. Submitted to IROS 2026
一种结合归纳推理与演绎推理的神经符号框架用于自动驾驶规划
机构 * Clemson University(克莱姆森大学)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 本文提出一种神经符号框架,结合归纳与演绎推理提升自动驾驶规划的透明性和安全性,在nuScenes基准中优于现有方法。
Comments Under review. 16 pages, 2 figures
通过基于大语言模型的主动获取解决无人机规划中的推理知识缺口
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 本文提出基于大语言模型的主动信息获取框架,用于解决无人机规划中的推理知识缺口问题,通过结构化知识缺口和最小化人机交互提升复杂任务的成功率。
探索在AI支持的规划中追踪的作用:用于算法推理
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 本研究探讨了在AI支持的规划中使用追踪对算法推理的影响,发现追踪促使学习者转向目标导向的推理,并提高了部分正确解决方案的一致性,但未显著影响反馈质量。
Comments 14 pages, 5 figures, 2 tables
场景无关的双臂任务规划 via 视觉可及性推理
机构 * Graduate School of Culture Technology, Korea Advanced Institute of Science and Technology (KAIST)(文化科技研究生院,韩国科学技术院)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
AI总结 本文提出了一种场景无关的双臂任务规划框架,通过视觉可及性推理实现双臂操作的高效规划与执行。
Comments 8 pages, 4 figures
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
Comments 11 pages
机构 * CSIRO(澳大利亚联邦科学与工业研究组织)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
Journal ref MM '25: Proceedings of the 33rd ACM International Conference on Multimedia (2025) Pages 12492 - 12500
机构 * School of Traffic and Transportation, Beijing Jiaotong University(交通与运输学院,北京交通大学) ; Foundation Model Research Center, Institute of Automation, Chinese Academy of Sciences(基础模型研究中心,自动化研究所,中国科学院)
专题命中 规划推理 :reasoning(title,abstract);planning(title,abstract)
Comments The 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2025)