A Unified Framework for Planning in Adversarial and Cooperative Environments
专题命中 规划推理 :planning(title);分类 cs.AI
Comments 8 pages, 2 figures
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 规划推理 :planning(title);分类 cs.AI
Comments 8 pages, 2 figures
专题命中 规划推理 :planning(title);分类 cs.AI
专题命中 规划推理 :planning(title);分类 cs.LG
Comments PhD thesis, Hebrew University of Jerusalem, 9/2016
专题命中 规划推理 :planning(title);分类 cs.AI
Comments Technological Forecasting and Social Change, 106 , pp. 74-84, 2016
专题命中 规划推理 :planning(title);分类 cs.AI
Comments 26 pages, 3 figures, unpublished version
专题命中 规划推理 :planning(title);分类 cs.AI
Comments 22 pages, 11 figures, 1 table
Journal ref International Journal of Database Management Systems ( IJDMS ), Vol.3, No.1, February 2011 110-131
专题命中 规划推理 :reasoning(title);分类 cs.AI
Comments Submitted to Information Systems Frontiers Journal
专题命中 规划推理 :reasoning(title);分类 cs.AI
Comments Appears in Proceedings of the First Conference on Uncertainty in Artificial Intelligence (UAI1985)
专题命中 规划推理 :planning(title);分类 cs.AI
Comments Appears in Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (UAI2006)
专题命中 规划推理 :planning(title);分类 cs.AI
Comments Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)
专题命中 规划推理 :planning(title);分类 cs.AI
专题命中 规划推理 :planning(title);分类 cs.AI
Journal ref Journal Of Artificial Intelligence Research, Volume 24, pages 49-79, 2005
专题命中 规划推理 :planning(abstract,comments);reasoning(abstract);分类 cs.AI
Comments 13 pages, European Conference on Planning 1997
Journal ref "Recent Advances in AI Planning" (Sam Steel & Rachid Alami eds.), p. 312-325, Springer 1997 (LNAI 1348)
专题命中 规划推理 :reasoning(title);分类 cs.AI
Comments An earlier version of this paper appeared in UAI '98
Journal ref Journal of AI Research, Vol. 12, 2000, pp. 317--337
专题命中 规划推理 :reasoning(title,journal_ref)
Comments 10 pages
Journal ref Robotics: Science and Systems. Semantic Reasoning and Goal Understanding in Robotics 2024
你的强化学习奖励函数是你的最佳搜索PRM:统一强化学习与基于搜索的文本生成
机构 * Rutgers University(新泽西州立大学) ; Nanyang Technological University(南洋理工大学) ; University of Connecticut(康涅狄格大学) ; Fudan University(复旦大学) ; NVIDIA Research(NVIDIA研究) ; Red Hat AI Innovation(红帽AI创新) ; MIT-IBM Watson AI Lab(MIT-IBM沃森AI实验室) ; Massachusetts Institute of Technology(麻省理工学院)
专题命中 规划推理 :reasoning(abstract);verifier(abstract);分类 cs.AI、cs.LG
AI总结 本文提出AIRL-S,通过强化学习与搜索技术的统一,利用奖励函数直接学习动态PRM,提升推理链扩展和跨任务泛化能力,实验显示性能提升9%并优于基线PRM。
用于复杂序列决策任务的混合大语言模型增强强化学习智能体
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 本文提出混合LLM增强RL智能体,融合LLM规划与RL动作优化,经实验验证其在序列决策任务上优于仅RL、仅LLM的基线方法,为构建更强自主系统提供了新方向。
Comments This submission is withdrawn because the uploaded manuscript does not accurately reflect the intended structure or results. Several components referenced in the text are incomplete or not represented in the PDF, and the current version may mislead readers. The work is therefore withdrawn to maintain clarity of the record
提交时机与位置:扩散语言模型的候选感知解码
机构 * National Yang Ming Chiao Tung University(国立阳明交通大学) ; University at Albany, SUNY(纽约州立大学奥尔巴尼分校)
专题命中 规划推理 :reasoning(abstract);chain-of-thought(abstract);分类 cs.CL、cs.AI
AI总结 该研究针对扩散语言模型解码过早终止问题,提出无训练的候选感知提前退出框架LATCH,结合CVC与BWEC,在零样本11项任务上,以准确率损失极小的代价实现多倍解码速度提升。
Comments Code is available at https://github.com/ming053l/C4-dLLM
通过大语言模型的战略搜索实现自动化设计优化
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 本研究提出AUTO框架,利用大语言模型的战略搜索实现GPU代码优化,提升搜索效率并降低成本。
Comments 16 pages, 4 tables, 8 figures, preprint
大语言模型会照顾同类吗?相似性信号可诱导合作
专题命中 规划推理 :reasoning(abstract);chain-of-thought(abstract);分类 cs.CL、cs.AI
AI总结 该研究提出首个带分级相似性信号的LLM决策评估框架,发现不同LLM应对相似性信号差异大、数据集对诱导合作影响小等,构建的LLM-行为博弈论模型可在高相似性下支持合作均衡。
Comments 41 pages, 18 Figures, 4 Tables, 16 Listings
语言模型的分层隐式预测
机构 * University of Texas at Austin(得克萨斯大学奥斯汀分校) ; Microsoft Research(微软研究院)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 该研究针对语言模型下一个token预测的误差累积问题,提出分层隐式预测方法,在编码、多步推理基准及推测解码上验证了其有效性。
思维树作为经典启发式搜索问题:形式化基础与设计模式
机构 * Guni Sharon
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 本文通过经典启发式搜索术语统一分类法,将基于LLM的推理映射到搜索组件,并识别出系统搜索和前瞻性策略两种设计模式。
Comments Extended version of the SoCS 2026 paper. Includes appendices omitted from the proceedings version
Journal ref Proceedings of the Nineteenth International Symposium on Combinatorial Search (SoCS 2026), AAAI Press, 2026
认知控制架构(CCA):一种用于鲁棒对齐AI代理的生命周期监督框架
机构 * Sichuan University(四川大学)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 本文提出认知控制架构(CCA),通过全生命周期认知监督框架,有效应对复杂IPI攻击,实现安全、功能与效率的平衡。
SciDataSailor:深度科学数据探索
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 该研究针对科学数据仓库交互难题,提出SciDataSailor框架,以带特定机制的MCTS实现轨迹合成,构建了微调模型与含千余任务的评估基准,推动LLM智能体的科学数据探索能力。
Comments 63 pages, 10 figures
VLD-RAG:用于长的、视觉丰富的多页文档的智能视觉语言检索增强生成
专题命中 规划推理 :reasoning(abstract);verifier(abstract);分类 cs.CL、cs.AI
AI总结 研究针对视觉丰富的长文档问答的多模态检索增强生成,提出VLD-RAG框架,构建多模态索引并采用混合检索策略,经智能体工作流程协调,在相关基准上提升了证据页面检索及问答表现,凸显协调验证与混合检索的重要性。
Transformer 如何通过多令牌预测学习规划
机构 * University of California, Los Angeles(加州大学洛杉矶分校) ; Shanghai Jiao Tong University(上海交通大学) ; University of Pennsylvania(宾夕法尼亚大学) ; RIKEN Center for Advanced Intelligence Project(日本理化学研究院先进智能项目中心) ; The Institute of Statistical Mathematics(统计数学研究所)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 本文研究多令牌预测如何促进推理,特别是规划,通过实验和理论分析展示其优于单令牌预测的性能及背后的机制。
Comments COLM 2026
从孤立任务到结构化能力:大语言模型的多层分类法
机构 * Fudan University(复旦大学)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 该研究提出大语言模型多层分类法,含14个能力领域和91个子技能,以人类认知科学为指导。通过筛选和映射相关论文,分析研究关注情况,揭示领域及子技能分布,此分类法有助于大语言模型研究组织、评估等多方面工作。
Comments 34 pages, 5 figures, 20 tables
野外的智能体:研究与部署的交汇点
机构 * Georgetown University(乔治敦大学) ; Salesforce(Salesforce公司) ; Bayer(拜耳公司) ; Bloomberg(彭博公司) ; Microsoft Research(微软研究院)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 探讨基于大语言模型的智能体系统从研究到部署的转变,通过案例研究分析成功设计模式及失败缓解策略,为与会者提供跨行业安全可靠部署的全面视角、设计模式、评估清单和模板。
DeLIVeR:通过强化知识图谱探索进行基于信息的真实性识别的分解学习
机构 * University of Louisville(路易斯维尔大学) ; Denison University(丹尼森大学)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
AI总结 针对大语言模型自动事实核查难题,DeLIVeR框架将证据检索设为强化探索任务,利用规划器大语言模型分解声明获问题集遍历知识图谱找证据,经GRPO优化策略,实验表明其显著优于基线,有效弥合推理差距,提供检测路径。
Comments Accepted to 7th International Conference on Deep Learning Theory and Applications (DeLTA 2026)
AIGB-R1:通过分层规划器-执行器优化实现自我进化的生成式自动出价
机构 * Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学高瓴人工智能学院) ; Alibaba Group(阿里巴巴集团)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 研究针对AIGB范式在自动出价中存在的问题,提出AIGB-R1框架,利用大语言模型推理能力,通过分层规划器与执行器模块、经验驱动循环、两阶段训练及新优化方法,经实验验证该框架在自动出价任务中的有效性。