arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

AI Agent

智能体、工具调用、规划、工作流、多智能体和自主任务执行。

2026-04-22 至 2026-04-22 共收录 48 信号源:cs.AI, cs.CL, cs.LG, cs.SE

1. 规划决策 48 篇

2604.17821 2026-04-22 cs.AI 89%

WebUncertainty: Dual-Level Uncertainty Driven Planning and Reasoning For Autonomous Web Agent

WebUncertainty: 双层不确定性驱动的规划与推理用于自主网络代理

Lingfeng Zhang, Yongan Sun, Jinpeng Hu, Hui Ma, Yang Ying, Kuien Liu, Zenglin Shi, Meng Wang

机构 * Hefei University of Technology(合肥工业大学) Academy of Cyber, CETC Group(中国电子科技集团 Cyber 学院)

专题命中 规划决策 :agent(title,abstract);planning(title,abstract);autonomous agent(abstract);分类 cs.AI

AI总结 本文提出WebUncertainty框架,通过双层不确定性驱动的自适应规划和蒙特卡洛树搜索机制,提升自主网络代理在动态交互和长周期任务中的规划与推理能力。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19599 2026-04-22 eess.SP cs.NI 89%

Active Inference-Enabled Agentic Closed-Loop ISAC with Long-Horizon Planning

基于主动推断的代理闭环ISAC系统与长周期规划

Guangjin Pan, Zhuojun Tian, Mehdi Bennis, Henk Wymeersch

专题命中 规划决策 :planning(title,abstract);agentic(title,abstract);agent(abstract)

AI总结 本文提出一种基于主动推断的无线代理闭环ISAC系统,通过因子图的反向-正向消息传递联合优化控制与传感资源分配,实现动态资源分配以提升跟踪精度、控制努力与传感资源消耗的平衡。

Comments 5 pages, 4 figures and 1 table. This work has been submitted to the IEEE for possible publication

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.16529 2026-04-22 cs.SE cs.AI cs.CL cs.LG 87%

Scaling Test-Time Compute for Agentic Coding

为代理编程扩展测试时计算

Joongwon Kim, Wannan Yang, Kelvin Niu, Hongming Zhang, Yun Zhu, Eryk Helenowski, Ruan Silva, Zhengxing Chen, Srinivasan Iyer, Manzil Zaheer, Daniel Fried, Hannaneh Hajishirzi, Sanjeev Arora, Gabriel Synnaeve, Ruslan Salakhutdinov, Anirudh Goyal

机构 * Meta Superintelligence Labs(Meta超级智能实验室) University of Washington(华盛顿大学) New York University(纽约大学) Google DeepMind(谷歌DeepMind) Carnegie Mellon University(卡内基梅隆大学) Princeton University(普林斯顿大学)

专题命中 规划决策 :agentic(title,abstract);agent(abstract,abstract_cn);分类 cs.AI、cs.CL、cs.LG

AI总结 本文提出基于轨迹紧凑表示的代理编程测试时扩展框架,通过递归竞赛投票和并行-蒸馏-细化方法提升长周期代理性能,实验证明在SWE-Bench和Terminal-Bench上显著提升效果。

Comments 70 pages, 26 figures, 12 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19638 2026-04-22 cs.AI cs.CL cs.RO 86%

SafetyALFRED: Evaluating Safety-Conscious Planning of Multimodal Large Language Models

SafetyALFRED:评估多模态大语言模型的安全意识规划

Josue Torres-Fonseca, Naihao Deng, Yinpei Dai, Shane Storks, Yichi Zhang, Rada Mihalcea, Casey Kennington, Joyce Chai

机构 * University of Michigan(密歇根大学) Boise State University(博伊西州立大学)

专题命中 规划决策 :planning(title,abstract);agent(abstract);autonomous agent(abstract);分类 cs.AI、cs.CL

AI总结 本文提出SafetyALFRED,基于ALFRED基准测试,引入六类厨房真实世界危险,评估多模态大语言模型在安全意识规划中的表现,发现静态QA评估不足,需转向强调具身环境中的纠正行动的基准。

Comments Work accepted at ACL 2026 Findings

详情

展开后加载摘要…

URL PDF HTML 收藏
2601.11037 2026-04-22 cs.AI 85%

BAPO: Boundary-Aware Policy Optimization for Reliable Agentic Search

BAPO:面向可靠代理搜索的边界感知策略优化

Shiyu Liu, Yongjing Yin, Jianhao Yan, Yunbo Tang, Qinggang Zhang, Bei Li, Xin Chen, Jingang Wang, Xunliang Cai, Jinsong Su

机构 * Institute of Artificial Intelligence, Xiamen University(厦门大学人工智能研究院) Meituan Inc.(美团公司) School of Informatics, Xiamen University(厦门大学信息学院) Westlake University(西湖大学) Jilin University(吉林大学) Key Laboratory of Digital Protection and Intelligent Processing of Intangible Cultural Heritage of Fujian and Taiwan (Xiamen University), Ministry of Culture and Tourism, China(福建省和台湾非物质文化遗产数字化保护与智能处理重点实验室(厦门大学),中华人民共和国文旅部,中国)

专题命中 规划决策 :agentic(title,abstract);agent(abstract);planning(abstract);分类 cs.AI

AI总结 BAPO通过引入边界感知奖励和自适应奖励调节器,提升代理搜索的可靠性,避免过度依赖IDK响应,实验表明其显著增强可靠性。

Comments ACL 2026 Conference. Code is available at https://github.com/Liushiyu-0709/BAPO-Reliable-Search

详情

展开后加载摘要…

URL PDF HTML 收藏
2601.04237 2026-04-22 cs.AI cs.CL cs.LG 85%

SAGE-32B: Agentic Reasoning via Iterative Distillation

SAGE-32B:通过迭代蒸馏实现代理推理

Basab Jha, Firoj Paudel, Ujjwal Puri, Ethan Henkel, Zhang Yuting, Mateusz Kowalczyk, Mei Huang, Choi Donghyuk, Wang Junhao

机构 * SAGEA Tribhuwan University(特里布文大学) Vedas College(韦达学院) Madan Bhandari Memorial College(马丹·班达里纪念学院) Fudan University(复旦大学) ETH Zurich(苏黎世联邦理工学院)

专题命中 规划决策 :agentic(title,abstract);planning(abstract);分类 cs.AI、cs.CL、cs.LG

AI总结 SAGE-32B是一种专注于代理推理和长期规划的320亿参数语言模型,通过迭代蒸馏提升推理能力,在代理推理基准测试中表现出色。

Comments 23 Pages, 3 figures, 4 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2511.05540 2026-04-22 cs.RO cs.AI cs.CV cs.LG cs.NE 84%

Constructing the Umwelt: Cognitive Planning through Belief-Intent Co-Evolution

构建环境:通过信念-意图共演的认知规划

Shiyao Sang

机构 * Shiyao Sang(桑世尧)

专题命中 规划决策 :planning(title,abstract);agent(abstract);分类 cs.AI、cs.LG

AI总结 本文提出基于信念-意图共演的认知规划方法,通过MBCWM和TIWM模型实现环境与现实的认知一致性,提升自动驾驶规划性能并展现类人认知行为。

Comments 12 pages, 8 figures. A paradigm shift from reconstructing the world to understanding it: planning through Belief-Intent Co-Evolution

详情

展开后加载摘要…

URL PDF HTML 收藏
2403.09905 2026-04-22 cs.RO cs.CV 83%

Personalized Embodied Navigation for Portable Object Finding

面向便携物品寻找的个性化具身导航

Vishnu Sashank Dorbala, Bhrij Patel, Amrit Singh Bedi, Dinesh Manocha

机构 * University of Maryland, College Park(马里兰大学学院公园分校) University of Central Florida(中央佛罗里达大学)

专题命中 规划决策 :planning(summary_cn,abstract);agent(abstract)

AI总结 本文提出了一种面向动态环境的个性化习惯学习方法,通过引入Transit-Aware Planning算法提升便携物品寻找的性能,在模拟和现实环境中均取得显著效果。

Comments 10 pages

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19523 2026-04-22 cs.AI 83%

Revac: A Social Deduction Reasoning Agent

Revac:一个社交推理解谜代理

Mihir Shriniwas Arya, Avinash Anish, Aditya Ranjan

机构 * Department of Computer Science and Engineering(计算机科学与工程系) RV College of Engineering(RV 工程学院) Department of Information Science and Engineering(信息科学与工程系) Department of Artificial Intelligence and Machine Learning(人工智能与机器学习系)

专题命中 规划决策 :agent(title,abstract);AI agent(abstract);分类 cs.AI

AI总结 Revac-8通过整合记忆玩家分析、社交图分析和动态语气选择,解决了社交推理解谜中的不确定性推理与欺骗适应问题,实现了在高风险社交环境中的卓越表现。

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.05608 2026-04-22 cs.CL 83%

A Goal Without a Plan Is Just a Wish: Efficient and Effective Global Planner Training for Long-Horizon Agent Tasks

没有计划的愿望只是愿望:为长周期智能体任务高效且有效的全局规划器训练

Shuzheng Si, Haozhe Zhao, Kangyang Luo, Gang Chen, Fanchao Qi, Minjia Zhang, Baobao Chang, Maosong Sun

机构 * Tsinghua University(清华大学) Peking University(北京大学) DeepLang AI University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)

专题命中 规划决策 :agent(title,abstract);planning(abstract);分类 cs.CL

AI总结 本文提出EAGLET方法,通过两步流程训练高效规划器,提升智能体规划能力,实验显示其在长周期任务中优于现有方法,且训练成本降低8倍。

Comments ACL 2026

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.16343 2026-04-22 cs.CV cs.AI cs.MA 83%

Visual Reasoning Agent: Robust Vision Systems in Remote Sensing via Inference-Time Scaling

视觉推理代理:通过推理时缩放实现遥感中的稳健视觉系统

Chung-En Johnny Yu, Brian Jalaian, Nathaniel D. Bastian

机构 * University of West Florida(西弗吉尼亚大学) United States Military Academy(美国军事学院)

专题命中 规划决策 :agent(title,abstract);agentic(abstract);分类 cs.AI

AI总结 本文提出视觉推理代理(VRA),通过迭代的Think-Critique-Act循环,结合预训练的大规模视觉-语言模型和推理模型,提升遥感任务中的视觉推理能力,实现在挑战性问题上的40.67%提升。

Comments Accepted to MORS 2026 Artificial Intelligence Workshop Proceedings

详情

展开后加载摘要…

URL PDF HTML 收藏
2603.22650 2026-04-22 cs.CV cs.RO 82%

MAGICIAN: Efficient Long-Term Planning with Imagined Gaussians for Active Mapping

MAGICIAN: 通过想象高斯分布实现高效的长期规划用于主动建图

Shiyao Li, Antoine Guédon, Shizhe Chen, Vincent Lepetit

机构 * LIGM, École Nationale des Ponts et Chaussées, IP Paris, Univ Gustave Eiffel, CNRS, France(LIGM,巴黎国立桥梁与道路学院,IP巴黎,格雷夫埃菲尔大学,法国国家科学研究中心,法国) École Polytechnique, France(法国高等理工学院,法国) Inria, École normale supérieure, CNRS, PSL Research University, France(法国国家科学研究中心,巴黎高等师范学院,法国国家信息与自动化技术研究院,法国)

专题命中 规划决策 :planning(title,abstract);agent(abstract)

AI总结 MAGICIAN通过想象高斯分布实现高效长期规划,提升主动建图的探索效率与重建完整性,适用于不同动作空间的室内和室外基准测试。

Comments Accepted at CVPR 2026 (Oral). Project webpage: https://shiyao-li.github.io/magician/

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.21020 2026-04-22 cs.RO 82%

Hybrid Task and Motion Planning with Reactive Collision Handling for Multi-Robot Disassembly of Complex Products: Application to EV Batteries

混合任务与运动规划与反应碰撞处理用于多机器人复杂产品拆解:应用于电动汽车电池

Abdelaziz Shaarawy, Cansu Erdogan, Rustam Stolkin, Alireza Rastegarpanah

机构 * Extreme Robotics Laboratory, School of Metallurgy and Materials, University of Birmingham(极端机器人实验室,冶金与材料学院,伯明翰大学) Department of Applied Artificial Intelligence and Robotics, Aston University(应用人工智能与机器人学院,阿斯顿大学)

专题命中 规划决策 :planning(title,abstract);agent(abstract)

AI总结 本文提出一种基于视觉的任务与运动规划框架,用于多机器人协同拆解复杂产品,通过学习型RRT规划器和混合安全层提高路径紧凑性和安全性,实验显示在电动汽车电池拆解中显著降低路径长度和扫过体积。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.18715 2026-04-22 cs.CL cs.AI 81%

Characterizing AlphaEarth Embedding Geometry for Agentic Environmental Reasoning

表征AlphaEarth嵌入几何用于代理环境推理

Mashrekur Rahman, Samuel J. Barrett, Christina Last

机构 * Dartmouth Libraries(达特茅斯图书馆) Dartmouth College(达特茅斯学院)

专题命中 规划决策 :agentic(title,abstract);分类 cs.AI、cs.CL

AI总结 本文研究AlphaEarth嵌入几何结构,开发代理系统用于环境推理,发现其非欧几里得特性及检索优于线性方法。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19695 2026-04-22 cs.LG 79%

Planning in entropy-regularized Markov decision processes and games

在熵正则化马尔可夫决策过程和博弈中的规划

Jean-Bastien Grill, Omar Darwiche Domingues, Pierre Ménard, Rémi Munos, Michal Valko

机构 * DeepMind Inria Lille(Inria里尔) SequeL team, Inria Lille(SequeL团队,Inria里尔) DeepMind Paris(DeepMind巴黎)

专题命中 规划决策 :planning(title,abstract);分类 cs.LG

AI总结 本文提出SmoothCruiser算法,通过环境生成模型估计熵正则化马尔可夫决策过程和双人博弈的价值函数,实现问题无关的样本复杂度O~(1/epsilon^4)。

Comments NeurIPS 2019

Journal ref Advances in Neural Information Processing Systems 32 (NeurIPS 2019)

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19457 2026-04-22 cs.AI 79%

Four-Axis Decision Alignment for Long-Horizon Enterprise AI Agents

四轴决策对齐用于长周期企业AI代理

Vasundra Srininvasan

机构 * Vasundra Srinivasan

专题命中 规划决策 :AI agent(title);agent(abstract);分类 cs.AI

AI总结 本文提出四轴对齐框架,用于评估长周期企业AI代理的决策行为,涵盖事实精度、推理连贯性、合规重建和校准回避,通过实验揭示了决策对齐的重要性。

Comments 21 pages, 5 figures, 8 tables. PDFLaTeX. Code and artifacts: https://github.com/vasundras/decision-alignment-long-horizon-agents

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.18616 2026-04-22 cs.DC cs.AI cs.PL 79%

ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants

ARGUS:通过数据流不变量指导的代理GPU优化

Haohui Mai, Xiaoyan Guo, Xiangyun Ding, Daifeng Li, Qiuchu Yu, Chenzhun Guo, Cong Wang, Jiacheng Zhao, Christos Kozyrakis, Binhang Yuan

机构 * CausalFlow Inc.(CausalFlow公司) HKUST(香港科技大学) Tsinghua University(清华大学) Stanford University(斯坦福大学) UCAS UC Riverside(UC河滨分校)

专题命中 规划决策 :agentic(title,abstract);分类 cs.AI

AI总结 ARGUS通过数据流不变量指导代理生成高效GPU内核,解决传统代理在关键计算任务中的性能不足问题,实现接近人工优化的性能和广泛的任务泛化能力。

详情

展开后加载摘要…

URL PDF HTML 收藏
2508.20467 2026-04-22 q-fin.PM cs.LG q-fin.CP 79%

QTMRL: An Agent for Quantitative Trading Decision-Making Based on Multi-Indicator Guided Reinforcement Learning

QTMRL:基于多指标引导强化学习的量化交易决策代理

Jingfeng Pan, Jiahao Chen

机构 * Guangdong University of Finance(广东金融学院) Jinan University(吉林大学)

专题命中 规划决策 :agent(title,abstract);分类 cs.LG

AI总结 本文提出QTMRL代理,结合多维技术指标与强化学习,实现动态稳定的投资组合管理,通过实验验证其在盈利性、风险调整和下行风险控制上的优越性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19641 2026-04-22 math.OC 78%

Regulation Zero 2: A Flow-Centric Sequential Regulation Planning Framework to Counter Regulation Cascading in Pre-tactical Air Traffic Flow Management

监管零二:一种以流量为中心的顺序监管规划框架,以应对预战术空交通流量管理中的监管级联

Thinh Hoang, Zhengyi Wang, Leila Zerrouki, Daniel Delahaye

专题命中 规划决策 :planning(title,abstract)

AI总结 本文提出Regulation Zero 2,通过在监管空间中进行顺序规划,优化兼容现有分配系统的核心方法,解决监管级联问题,提升网络可靠性。

Comments arXiv admin note: text overlap with arXiv:2510.23402

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19148 2026-04-22 cs.RO 78%

Multi-Step Gaussian Process Propagation for Adaptive Path Planning

多步高斯过程传播用于自适应路径规划

Alex Beaudin, Bjørn Andreas Kristiansen, Kristoffer Gryte, Corrado Chiatante, Morten Omholt Alver, Murat Arcak, Tor Arne Johansen

机构 * Department of Electrical Engineering and Computer Sciences, University of California, Berkeley(加州大学伯克利分校电子工程与计算机科学系) Department of Engineering Cybernetics, Norwegian University of Science and Technology (NTNU)(挪威科技与自然大学(NTNU)工程控制系) Department of Electronic Systems, Norwegian University of Science and Technology (NTNU)(挪威科技与自然大学(NTNU)电子系统系)

专题命中 规划决策 :planning(title,abstract)

AI总结 本文提出基于高斯过程的多步路径规划方法OLAhGP,通过融合多模态环境传感数据和状态输入约束,提升自主水面舰在藻类监测中的路径规划效率与鲁棒性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.18740 2026-04-22 cs.CV 78%

Autonomous Skeletal Landmark Localization towards Agentic C-Arm Control

自主骨骼标志点定位以实现智能C臂控制

Jay Jung, Ahmad Arrabi, Jax Luo, Scott Raymond, Safwan Wshah

机构 * University of Vermont(佛蒙特大学) Cleveland Clinic(克利夫兰诊所)

专题命中 规划决策 :agentic(title,abstract)

AI总结 本文研究了利用多模态大语言模型实现C臂控制中骨骼标志点的自主定位,通过实验验证了其在准确性和推理能力上的优势,为智能C臂控制提供了新方法。

Comments Accepted at IJCARS: IPCAI 2026. Int J CARS (2026)

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.14972 2026-04-22 cs.IR 78%

SAGER: Self-Evolving User Policy Skills for Recommendation Agent

SAGER:面向推荐代理的自进化用户策略技能

Zhen Tao, Riwei Lai, Chenyun Yu, Weixin Chen, Li Chen, Beibei Kong, Lei Cheng, Chengxiang Zhuo, Zang Li, Qingqiang Sun

专题命中 规划决策 :agent(title,abstract)

AI总结 SAGER通过为每个用户分配专用策略技能,实现个性化推荐代理的自进化推理,实验表明其在四个公开基准上达到最优性能,证明个性化推理过程是推荐改进的新来源。

详情

展开后加载摘要…

URL PDF HTML 收藏
2411.09887 2026-04-22 cs.RO 78%

Planning by Simulation: Motion Planning with Learning-based Parallel Scenario Prediction for Autonomous Driving

通过模拟进行规划:基于学习的并行场景预测用于自动驾驶的运动规划

Tian Niu, Kaizhao Zhang, Zhongxue Gan, Wenchao Ding

机构 * Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente(代尔夫特理工大学电子工程、数学与计算机科学学院) Department of Electrical Engineering, Wright State University(威斯汀大学电气工程系)

专题命中 规划决策 :planning(title,abstract)

AI总结 本文提出一种基于学习的并行场景预测方法,用于自动驾驶中的运动规划,通过模拟可能场景并计算成本,平衡和剪枝不合理动作,提升安全性和规划效率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19548 2026-04-22 cs.CL cs.AI cs.CY 73%

Taming Actor-Observer Asymmetry in Agents via Dialectical Alignment

通过辩证对齐平息代理中的行动者-观察者不对称性

Bobo Li, Rui Wu, Zibo Ji, Meishan Zhang, Hao Fei, Min Zhang, Mong-Li Lee, Wynne Hsu

机构 * National University of Singapore(国立新加坡大学) Sichuan University(四川大学) University of Minnesota Twin Cities(明尼苏达大学双城分校) Harbin Institute of Technology, Shenzhen(哈尔滨工业大学深圳分校) University of Oxford(牛津大学)

专题命中 规划决策 :agent(abstract);multi-agent(abstract);分类 cs.AI、cs.CL

AI总结 本文提出ReTAS模型,通过辩证对齐方法减少代理中的行动者-观察者不对称性,提升故障解决能力。

Comments ACL 2026 Main Conference. Project page: https://unikcc.github.io/ReTAS/

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.18805 2026-04-22 cs.AI cond-mat.mtrl-sci cs.LG 73%

AI scientists produce results without reasoning scientifically

AI科学家在没有科学推理的情况下产生结果

Martiño Ríos-García, Nawaf Alampara, Chandan Gupta, Indrajeet Mandal, Sajid Mannan, Ali Asghar Aghajani, N. M. Anoop Krishnan, Kevin Maik Jablonka

机构 * Laboratory of Organic and Macromolecular Chemistry (IOMC), Friedrich Schiller University Jena(有机与大分子化学实验室(IOMC),弗里德里希-席勒耶纳大学) Department of Civil Engineering, Indian Institute of Technology Delhi(土木工程系,印度理工学院德里) School of Interdisciplinary Research, Indian Institute of Technology Delhi(跨学科研究学院,印度理工学院德里) Yardi School of Artificial Intelligence, Indian Institute of Technology Delhi(Yardi人工智能学院,印度理工学院德里) Center for Energy and Environmental Chemistry Jena, Friedrich Schiller University Jena(能源与环境化学中心(耶纳),弗里德里希-席勒耶纳大学) Helmholtz Institute for Polymers in Energy Applications Jena (HIPOLE Jena), Lessingstraße 12–14(能源应用高分子研究所(耶纳,HIPOLE耶纳),Lessingstraße 12–14)

专题命中 规划决策 :agent(abstract);workflow(abstract);分类 cs.AI、cs.LG

AI总结 研究评估了基于大语言模型的科学代理在八个领域中的表现,发现基础模型主导了性能和行为,且代理推理缺乏科学推理的 epistemic 特征。

详情

展开后加载摘要…

URL PDF HTML 收藏
2603.21298 2026-04-22 cs.CL cs.AI 73%

More Than Sum of Its Parts: Deciphering Intent Shifts in Multimodal Hate Speech Detection

不止是部分之和:解码多模态仇恨言论检测中的意图转变

Runze Sun, Yu Zheng, Zexuan Xiong, Zhongjin Qu, Lei Chen, Jie Zhou, Jiwen Lu

机构 * Department of Automation, Tsinghua University(清华大学自动化系)

专题命中 规划决策 :agent(abstract,abstract_cn);分类 cs.AI、cs.CL

AI总结 本文提出H-VLI基准和ARCADE框架,通过模拟法庭辩论解码多模态仇恨言论中的隐含意图转变,提升检测性能。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19558 2026-04-22 cs.SE 70%

On Reasoning-Centric LLM-based Automated Theorem Proving

基于推理的LLM自动定理证明方法

Yican Sun, Chengwei Shi, Hangzhou Lyu, Yingfei Xiong

专题命中 规划决策 :agent(abstract);planning(abstract);分类 cs.SE

AI总结 本文提出ReCent-Prover,通过引入反思验证和规划检索技术,提升自动定理证明能力,在CoqStoq基准测试中实现22.58%的定理证明提升。

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.15173 2026-04-22 cs.AI 70%

Mind the (DH) Gap! A Contrast in Risky Choices Between Reasoning and Conversational LLMs

注意(DH)差距!理性推理与对话LLM在风险选择中的对比

Luise Ge, Yongyan Zhang, Yevgeniy Vorobeychik

机构 * Washington University in St. Louis(华盛顿大学圣路易斯分校)

专题命中 规划决策 :agent(abstract);agentic(abstract);分类 cs.AI

AI总结 研究通过对比推理模型与对话模型在风险决策中的表现,发现前者更理性,后者更接近人类但受因素影响更大。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19485 2026-04-22 cs.LG cs.AI cs.CL 67%

EVPO: Explained Variance Policy Optimization for Adaptive Critic Utilization in LLM Post-Training

EVPO:用于大语言模型后训练中自适应批评者利用的解释方差策略优化

Chengjun Pan, Shichun Liu, Jiahang Lin, Dingwei Zhu, Jiazheng Zhang, Shihan Dou, Songyang Gao, Zhenhua Han, Binghai Wang, Rui Zheng, Xuanjing Huang, Tao Gui, Yansong Feng

机构 * Peking University(北京大学) Fudan University(复旦大学) Shanghai Qiji Zhifeng Co., Ltd.(上海启智科技有限公司) Shanghai AI Lab(上海人工智能实验室)

专题命中 规划决策 :agentic(abstract);分类 cs.AI、cs.CL、cs.LG

AI总结 本文提出EVPO,通过监控批量方差并自适应切换基于批评者或批量均值估计,证明在每一步都能达到更小的方差。在四个任务中,EVPO优于PPO和GRPO。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.19425 2026-04-22 cs.HC 67%

seneca: A Personalized Conversational Planner

seneca:一个个性化的对话规划器

Simon Bohnen, Gabriel Garbers, Lukas Ellinger, Georg Groh

专题命中 规划决策 :agent(abstract);planning(abstract)

AI总结 本文提出seneca,一种结合对话代理、持久数据库和处理器的个性化AI规划框架,旨在解决现有工具在持续自我调节、优先级设定和反思方面的不足。

Comments accepted to the CHI '26 Workshop on Tools for Thought

详情

展开后加载摘要…

URL PDF HTML 收藏