← 返回 2026-02-11

TodoEvolve:学习构建智能体规划系统 TodoEvolve: Learning to Architect Agent Planning Systems

Jiaxi Liu, Yanzuo Jiang, Guibin Zhang, Zihan Zhang, Heng Chang, Zhenfei Yin, Qibing Ren, Junchi Yan 📅 2026-02-08 👍 6 2026-07-13 08:35
Agent Planning Code Generation Meta-Learning Preference Optimization Reinforcement Learning

提出元规划范式,让LLM自主合成任务自适应的规划架构,而非依赖手工设计的固定结构

前置知识

Agent Planning System

智能体规划系统是为LLM-powered Agent提供高层控制逻辑的模块,负责将复杂任务分解为可执行的子步骤,并协调执行过程。典型的规划系统包括拓扑结构(任务如何分解和组织)、初始化机制(如何创建初始计划)、适应机制(何时以及如何修订计划)、导航机制(如何向执行代理发出指令)。例如,线性to-do列表、有向无环图(DAG)、树状结构都是常见的规划拓扑。

本文的核心就是提出一种能自动合成最优规划系统的方法,因此理解现有规划系统的组成和局限是理解本文动机的前提

PlanFactory 四维设计空间

本文提出的模块化设计空间,将所有规划系统分解为四个维度:♣拓扑(Topology,任务分解的结构组织方式)、♦初始化(Initialization,任务拓扑的实例化机制)、♥适应(Adaptation,拓扑修订的时机和方式)、♠导航(Navigation,向执行代理发出指令的机制)。所有现有规划方法都可以映射到这个统一框架中。

这是本文的技术基础框架,TodoEvolve正是在这个四维空间中搜索和合成最优规划配置

DPO (Direct Preference Optimization)

一种无需显式训练奖励模型的偏好对齐方法。其核心思想是通过重参数化技巧,将隐式奖励表示为策略模型和参考模型的对数概率比:$r_\theta(\phi) = \beta \log \frac{\pi_\theta(\phi|C)}{\pi_{ref}(\phi|C)}$。然后通过优化偏好对之间的奖励差来训练模型。相比RLHF,DPO更简洁稳定。

本文的IGPO方法是在DPO基础上的改进,加入了认知阻抗作为效率信号,理解DPO才能理解IGPO的创新

Impedance-Guided Preference Optimization (IGPO)

本文提出的多目标强化学习训练方法。与标准DPO仅关注正确性不同,IGPO在构建偏好对时引入了认知阻抗(Cognitive Impedance)作为效率度量。当两个规划方案都正确时,认知阻抗更低的方案被选为正例。认知阻抗综合考虑了总成本、失败次数、执行稳定性和规划/执行成本比。训练损失函数为 $\mathcal{L}_{IGPO}(\theta) = -\mathbb{E}_{(\phi_w, \phi_l)}[\log \sigma(r_\theta(\phi_w) - r_\theta(\phi_l))]$。

IGPO是本文的核心技术贡献,是使Todo-14B既能生成正确规划又能保持效率的关键训练方法

Bi-level Agentic Inference

本文采用的双层推理抽象:Agent System(执行层)负责环境交互,包含代理集合 $I$、全局状态空间 $S$、联合动作空间 $A$;Planning System(规划层)负责高层控制逻辑,配置为 $P = \langle G, I_{init}, F_{adapt}, N_{nav} \rangle$。规划层生成执行指令,执行层完成实际操作并返回结果。

理解这个双层架构是理解TodoEvolve如何将'元规划'与'执行'分离的关键

研究动机

当前LLM Agent的规划系统严重依赖手工设计的固定结构,无法适应开放域任务的结构多样性。具体而言,不同任务领域对规划先验有截然不同的需求:MCTS规划对数学推理有效,但由于动作空间过大几乎不用于自动驾驶代理;在网页搜索中,AOP使用简单的线性to-do列表在文档QA上token效率高,但在多模态场景中被DAG规划结构大幅超越(Flash-Searcher在GAIA上达到69.09%而线性规划仅55.75%);线性任务只需最小修订,而高冲突环境需要持续的拓扑重构。论文用实验数据证明了这种差异:在TaskCraft的多类别基准上,不同的固定规划先验在不同任务类型上表现出强烈的归纳偏置(Figure 2),集中式系统牺牲数据处理能力换取推理深度,DAG拓扑优先提取速度而非逻辑连贯性。这种刚性拓扑无法最优地应对开放查询的结构多样性。

本文的目标是本文的核心目标不是设计一个万能的规划器,而是构建一个元规划范式(Meta-Planning Paradigm),能够根据每个任务的结构特征自动定制规划系统。具体而言,TodoEvolve需要:(1)自动合成任务特定的规划拓扑、修订节奏和导航策略;(2)在执行过程中动态更新规划状态;(3)生成的规划系统在性能、稳定性和token效率上同时优化;(4)兼容单代理和多代理执行框架,支持多种LLM骨干网络。

与已有工作不同的是,现有工作虽然在规划系统设计上投入了大量工程努力(如OWL的双层级协调、Flash-Searcher的并行DAG、FlowSearch的思维图),但这些系统都受限于预设架构。本文的独特切入角度是将规划系统的设计本身形式化为一个可学习的问题:通过构建PlanFactory统一设计空间收集高质量规划轨迹,然后用强化学习训练一个元规划器来自主合成最优规划配置。这从根本上改变了范式——从'人工设计最优规划'转变为'让模型学习如何设计规划'。同时,不同于标准的RL优化动作策略或工具选择,本文优化的是更根本的规划结构本身。

核心方法

TodoEvolve的核心思路可以用一个类比理解:如果现有方法是教Agent使用某一种特定的导航工具(如地图或指南针),那么TodoEvolve是教Agent学会'根据地形选择最合适的导航工具'。技术路线上分为三大步:首先,构建PlanFactory模块化设计空间,将7种代表性规划方法(OWL、OAgents、AgentOrchestra、Flash-Searcher、JoyAgent、FlowSearch、Co-Sight)解耦为标准化工具;其次,通过进化采样和执行验证收集高质量规划轨迹数据;最后,用两阶段训练(SFT + IGPO)训练Todo-14B元规划器,使其能根据任务描述自动生成定制化的Python规划代码和YAML配置。

本文的核心创新是将规划系统设计形式化为条件代码生成任务,并引入认知阻抗(Cognitive Impedance)作为效率度量。与已有方法的本质区别在于三个层面:第一,从'使用固定规划'到'学习设计规划'的范式转变;第二,从单一目标优化(正确性)到多目标优化(正确性+稳定性+效率)的训练目标升级;第三,通过隐式奖励对齐($r_\theta(\phi) = \beta \log \frac{\pi_\theta(\phi|C)}{\pi_{ref}(\phi|C)}$)绕过了显式奖励模型的训练。认知阻抗公式 $I(\tau) = C_{tot} \cdot \exp(\lambda_1 N_{fail} + \lambda_2(1-S_{stab}) + \lambda_3 \frac{C_{plan}}{C_{exec}})$ 中,规划成本与执行成本的比值 $\frac{C_{plan}}{C_{exec}}$ 作为官僚惩罚,确保规划开销不超过执行本身。

方法步骤详情

TodoEvolve的方法分为数据构建和模型训练两个阶段。数据构建采用Bootstrap-and-Filter流水线:Phase 1是标准化,将7种规划方法的功能原语封装为统一工具接口,创建共享Plan Space;Phase 2是进化采样,对每个查询 $Q_i$ 构造包含系统提示、工具文档和3个随机采样的静态规划样本 $\{P_{ref}^1, P_{ref}^2, P_{ref}^3\}$ 的上下文 $C_i$,要求模型生成任务特定的规划 $P_{gen}$;Phase 3是执行验证,将 $P_{gen}$ 在PlanFactory中执行生成轨迹 $\tau$,只有最终答案 $A_{final}$ 与ground truth匹配的规划才被保留;Phase 4是偏好构建,SFT数据为所有成功执行的 $\{(C_i, P_{gen})\}$ 对,IGPO数据为偏好对 $\{(C_i, P_{win}, P_{lose})\}$,当两者都正确时用认知阻抗 $I(\tau)$ 作为判据。模型训练也分两阶段:Stage 1用3360个样本进行SFT,学习基本的代码生成和架构推理能力;Stage 2用2000个样本进行IGPO,通过隐式对比拒绝采样对齐效率目标。

技术新颖性

TodoEvolve的技术新颖性体现在多个维度。首先,这是首个将元规划(meta-planning)形式化为可学习问题的工作,不同于搜索-RL方法(如Search-R1、LATS)优化搜索轨迹或RAGEN优化多轮交互,本文优化的是规划结构本身。其次,认知阻抗指标是一个全新的复合成本函数,它不仅考虑token消耗和延迟,还引入了规划/执行成本比 $\frac{C_{plan}}{C_{exec}}$ 作为'官僚惩罚',这在RL for Agent领域是前所未有的。第三,PlanFactory不仅是数据合成引擎,还是一个标准化的规划方法研究基础设施,支持高度并行化推理。第四,隐式奖励对齐方法避免了训练显式奖励模型的复杂性,同时保持了DPO的简洁性。最后,生成的规划系统是可执行的Python代码和YAML配置,而非简单的文本指令,这使得规划具有更高的精确性和可执行性。

The overall inference workflow of TodoEvolve
Figure 1: The overall inference workflow of TodoEvolve
Evolved planning architectures in real-world instantiation
Figure 4: Evolved planning architectures in real-world instantiation

实验结果

实验结果展示了TodoEvolve在多个维度的显著优势。首先,在GAIA综合基准上,TodoEvolve+Smolagents使用GPT-5-Mini达到72.12%的平均分,比原生Smolagents基线提升16.37个百分点,这是所有比较方法中最大的单次改进。其次,跨骨干网络的一致性表现令人印象深刻:使用DeepSeek V3.2时GAIA平均70.91%,超越同骨干的Flash-Searcher超过10个百分点;使用Kimi K2时达到60.00%。第三,在复杂推理场景中的优势尤为突出:GAIA Level 3(最难子集)上,DeepSeek V3.2驱动的TodoEvolve达到53.85%的成功率,不仅超越了使用更强GPT-4.1的标准Agent KB(34.62%),还匹配了Agent KB pass@3投票的性能(53.85%)。第四,在效率方面(Table 4),TodoEvolve在WebWalker-QA上准确率70.00%(超越Flash-Searcher的60.00%),在DeepSearch-QA上42.00%(超越OAgents的28.00%),在GAIA-level2 Text-only上57.14%(超越Flash-Searcher的25.71%),且成本和延迟与复杂基线相当。消融实验(Figure 3)进一步证实:基础模型无法生成可执行计划,SFT建立基本能力,Zero-Shot IGPO在保持准确率的同时降低成本,完整TodoEvolve达到峰值准确率72.1%。

An overview of agentic planning paradigms decomposed in PlanFactory
Table 1: An overview of agentic planning paradigms decomposed in PlanFactory
Detailed statistics of the constructed datasets
Table 2: Detailed statistics of the constructed datasets
Performance of various agent frameworks on WebWalkerQA, xBench-DS, TaskCraft, and GAIA benchmarks
Table 3: Performance of various agent frameworks on WebWalkerQA, xBench-DS, TaskCraft, and GAIA benchmarks
Comprehensive comparison of execution performance across different agent frameworks
Table 4: Comprehensive comparison of execution performance across different agent frameworks
Ablation Analysis on GAIA Level 2
Figure 3: Ablation Analysis on GAIA Level 2
查看结构化数据
任务指标本文基线提升
GAIA Avg pass@1 Accuracy (%) 72.12% (GPT-5-Mini), 70.91% (DeepSeek V3.2), 60.00% (Kimi K2) Smolagents 55.75% (GPT-5-Mini), Flash-Searcher 69.09% (GPT-5-Mini) +16.37% over Smolagents, +3.03% over Flash-Searcher (GPT-5-Mini)
WebWalkerQA pass@1 Accuracy (%) 73.53% (GPT-5-Mini), 70.59% (DeepSeek V3.2), 64.71% (Kimi K2) Flash-Searcher 71.18% (GPT-5-Mini), Cognitive Kernel-Pro 60.64% +2.35% over Flash-Searcher (GPT-5-Mini)
xBench-DS pass@1 Accuracy (%) 75.0% (GPT-5-Mini), 74.0% (DeepSeek V3.2), 71.0% (Kimi K2) Flash-Searcher 69.0% (GPT-5-Mini), Agent KB pass@3 68.0% +6.0% over Flash-Searcher (GPT-5-Mini)
TaskCraft pass@1 Accuracy (%) 72.67% (GPT-5-Mini), 71.33% (DeepSeek V3.2), 69.33% (Kimi K2) Smolagents 64.00% (GPT-5-Mini), Cognitive Kernel-Pro 66.00% +8.67% over Smolagents (GPT-5-Mini)
GAIA Level 3 pass@1 Accuracy (%) 53.85% (DeepSeek V3.2), 46.15% (GPT-5-Mini/Kimi K2) Agent KB pass@3 53.85%, Flash-Searcher 46.15% (GPT-5-Mini) 匹配Agent KB pass@3(使用更便宜的开源模型)
DeepSearch-QA (Table 4) Accuracy (%) 42.00% OAgents 28.00%, OWL 30.00%, Flash-Searcher 22.00% +14.0% over next best static baseline

局限与改进

论文存在几个值得关注的局限性。首先,Todo-14B的训练依赖Gemini-3-Flash作为专家规划器生成推理轨迹、DeepSeek V3.2作为执行器验证结果,这意味着数据质量受限于这些教师模型的能力上限。其次,训练数据规模相对较小(SFT 3360样本,IGPO 2000样本),且输入长度约13k tokens,对于需要更大上下文窗口的超复杂任务可能不足。第三,评估基准虽然覆盖了多个领域,但主要集中在信息检索和问答任务,对代码生成、数学推理、具身智能等领域的泛化能力尚未验证。第四,推理开销不容忽视:TodoEvolve的平均步数和时间显著高于简单基线(如JoyAgent),在WebWalker-QA上平均216.59秒、7.7步,这在需要低延迟响应的场景中可能受限。第五,14B参数的元规划器本身需要显著的推理资源,论文未讨论在资源受限环境下的部署方案。最后,认知阻抗公式中的超参数 $\lambda_1, \lambda_2, \lambda_3$ 的选择对性能的影响未被充分分析。

独立分析的弱点

TodoEvolve有几个值得深入分析的弱点。首先,元规划器生成的是Python代码和YAML配置,这意味着生成的规划系统的质量高度依赖于代码生成的正确性,而代码生成的错误(如API调用错误、逻辑bug)可能导致整个规划系统失效,论文未讨论这类失败的鲁棒性处理。其次,PlanFactory目前仅实现了7种规划方法,设计空间的覆盖度有限,一些重要的规划范式(如基于MCTS的规划、基于学习的规划)未被纳入。第三,进化采样阶段仅使用3个参考样本,对于缺乏相关先验的全新任务类型,这种有限的参考可能不足以引导生成高质量规划。第四,评估使用LLM-as-Judge机制(Gemini-3-Flash),存在评估偏差的风险,论文未提供人工评估的对照。改进方向包括:(1)引入代码执行的容错机制和规划系统的自修复能力;(2)扩展PlanFactory的规划方法覆盖面;(3)增加参考样本的多样性或引入检索增强机制;(4)增加人工评估和跨评估器的一致性分析。

未来方向

基于本文的成果,有几个有前景的未来研究方向。首先,将元规划能力扩展到多模态任务领域,当前工作主要聚焦于文本任务,将视觉、音频等模态的规划需求纳入PlanFactory设计空间将显著扩大应用范围。其次,探索元规划器的持续学习能力,使其能够在新任务类型出现时自动扩展规划库而无需完全重训练。第三,将TodoEvolve与现有的RL for Agent方法(如Search-R1、RAGEN)结合,形成'元规划+策略优化'的双层优化框架。第四,研究更轻量级的元规划实现,如将14B模型的知识蒸馏到更小模型中,或使用LoRA等参数高效方法降低部署成本。第五,探索规划系统的可解释性和可控性,允许用户通过自然语言指令调整规划偏好(如'优先考虑速度而非准确性')。最后,将认知阻抗指标推广到更广泛的Agent评估标准中,作为规划系统质量的通用度量。

复现评估

论文在复现性方面做了较好的工作。代码已在GitHub开源(https://github.com/EcthelionLiu/TodoEvolve),PlanFactory框架提供了统一的实现和基准支持。训练数据来自公开数据集(TaskCraft、MoNaCo、WebWalkerQA、DeepSearchQA),数据构建流水线有详细描述。模型基座Qwen3-14B是开源模型。然而,复现面临一些挑战:(1)训练数据的构建依赖Gemini-3-Flash和DeepSeek V3.2作为教师模型,需要相应的API访问和成本;(2)14B模型的训练需要显著的GPU资源,论文未提供具体的硬件配置和训练时间;(3)评估使用的GPT-5-Mini是闭源模型,完全复现评估结果可能困难;(4)认知阻抗公式中的 $\lambda_1, \lambda_2, \lambda_3$ 超参数值未明确给出。总体而言,代码开源和数据可获取性使得方法层面的复现可行,但完全复现训练和评估结果需要大量计算资源和API访问。