精读笔记

Problem Setting

这篇论文真正处理的是 embodied AAS 的可行性问题：给定一个已经发表的 embodied agent，能否让外部 optimizer 自动修改其感知、记忆、规划、动作之间的信息流，并通过 simulator rollout 选择更好的架构。关键矛盾是 embodied agent 的“显式模块化”看起来很适合搜索，但实际实现通常是 benchmark-specific code、simulator loop、prompt、state 和 controller 的混合体，既没有统一 edit surface，也没有统一 evaluation surface。以前 text-domain AAS 卡在这里：它默认候选是轻量 LLM workflow，评估便宜且近似确定；而 embodied search 的每个候选都要跑多 episode 闭环，分数有噪声，失败可能来自 simulator、日志、动作接口、prompt 或架构本身。论文的设定因此不是从零合成 agent，而是 method-seeded local architecture search：从 MapGPT、SmartWay、ExploreEQA、VoxPoser 这类已有系统附近搜索。

Motivation

已有路线不够的核心原因是 embodied agents 的架构虽然可读，但不可被 optimizer 稳定操作。人可以看懂“把 stop decision 放到 landmark check 后面”这类修改，但对自动搜索来说，这通常意味着跨文件改代码、重接 simulator、重新跑 evaluation，并且直到 rollout 才知道是否破坏接口。作者的关键观察是：embodied agent 的模块化如果没有 typed representation、static validity check、batch rollout 和 episode trace，就只是工程组织方式，不是可搜索空间。另一个动机是 text AAS 的成功可能部分来自 workflow reformatting 或 benchmark quirks；把它放进 perceptual closed-loop agents，能更清楚地区分架构搜索的真实贡献和 superficial restructuring。缺口因此有两层：executor 侧缺一个统一 substrate，optimizer 侧缺一个能处理 noisy rollout 与机制证据的 search policy。

Core Idea

核心思想是把 embodied executor 抽象成 typed node-and-wire graph，并把 architecture search 限制在这个可验证 graph 空间内。这样，架构不再是散落在代码里的隐式流程，而是一个可 diff、可 type-check、可 rollout、可记录 trace 的候选对象。这个建模方式改变了 AAS 的基本单位：不是优化 prompt 或单个 LLM call，而是优化感知—状态—规划—动作之间的信息流结构。

KDLoop 的更深一层想法是：embodied AAS 不能只做 scalar-score hill-climbing，因为 SR 太 noisy，且一个 score 不告诉你改动是否真的执行、用了什么信息、失败来自哪里。它把候选修改按 intervention axis 组织，并把 confirmed/refuted/open hypotheses 写入 typed memory，让搜索带有 coverage bias 和 mechanism-level bookkeeping。相比 ADAS/AFlow，这不是更强的 proposer 而已，而是给 search dynamics 加了一个“不要在同一个局部盆地里无限重复”的 inductive bias。

Method

方法的关键机制可以压缩为三点。

第一，AgentCanvas 解决 candidate representation 问题。它把 executor 表示为 typed graph：节点、端口、边、状态容器和 config 都是显式对象。必要性在于 optimizer 需要一个可修改的统一 artifact，而不是每个 agent 一套 bespoke code。核心变化是把“架构修改”从代码级 surgery 变成结构化 graph patch，并用 type validation 在 rollout 前过滤明显无效候选。

第二，统一 evaluation 解决 embodied search 的成本问题。每个候选通过同一套 simulator-aware batch evaluator 获得 SR 和 episode logs，foundation-model 节点共享服务，simulator worker 异步推进。这里的本质不是 batching trick，而是让 AAS loop 不再为每个方法重写评估 harness；否则 optimizer 的上下文和预算会被 execution plumbing 消耗掉。

第三，KDLoop 解决 search memory 和 attribution 问题。THINK 生成带 intervention-axis 的实验，CRITIC 阻止重复或已知坏方向，EXPERIMENT 执行，DISTILL 写入 typed memory，REFLECT 在停滞时检查 coverage。它试图把搜索从“哪个候选分数高”推进到“哪个机制被验证、哪个方向已饱和、哪个失败不在 graph 层”。这也是它与 ADAS/AFlow port 的主要差异。

Key Insight / Why It Works

这篇最值得看的 insight 是：embodied AAS 的瓶颈不是 LLM 能不能提出修改，而是候选空间、评估噪声和 credit assignment 三者之间是否闭合。AgentCanvas 让候选空间闭合：修改有边界、候选可执行、无效 wiring 可静态拒绝。KDLoop 让搜索记忆稍微结构化：它不只记 score，而记 intervention axis、失败机制和覆盖状态。二者结合后，optimizer 才有可能把 rollout feedback 变成下一轮架构编辑，而不是在代码库里盲改。

真正有效的部分很可能是 representation alignment：把人类设计 embodied agents 时隐式使用的模块边界，显式变成 optimizer 能操作的 typed graph。MapGPT 上的提升说明很多 embodied agent 的 failure mode 确实在 stop rule、revisit control、observation gating 这种架构/控制层，而不在底层模型能力；这些是 search 能碰到的低维杠杆。

KDLoop 的贡献更像 search-process inductive bias，而不是一个保证更高 SR 的 optimizer。它提高的是诊断能力和覆盖意识，未必提高 exploit 能力。论文自己也显示它在 SmartWay 上可能过早离开有用 basin。换句话说，KDLoop 更适合发现“为什么这个方向不该继续”或“问题不在 graph 层”，不一定最适合榨干某个 benchmark 分数。

相当一部分增益可能只是 engineering / scaling：prompt rewrite、stop threshold、retry loop、model swap、answer-format constraint 都不是新的 embodied reasoning。ExploreEQA 的提升尤其像格式和 sentinel handling 修复；VoxPoser 的 ADAS/AFlow gains 也偏 substrate-adjacent tuning。SmartWay-AFlow 的 evaluator leakage 是重要警告：scalar SR 会奖励任何可用信息路径，即便它不可部署。因此，把这些结果解释为“自动发现更强 embodied intelligence”是不成立的；更准确地说，它自动发现了一些局部架构/工程杠杆，并暴露了 embodied AAS 的归因难题。

Relation To Prior Work

它最接近 text-domain AAS、program/prompt optimization 和 coding-agent-based repository editing 的交叉点。与 ADAS/AFlow 的本质差异不在于也用 LLM 提 proposal，而在于 candidate 不再是 text workflow，而是绑定 simulator 的 closed-loop embodied executor；评价也不再是 cheap accuracy，而是 noisy multi-episode rollout。相比 LangGraph/AutoGen/Trace 这类 graph substrate，它的新增信息是 simulator-aware execution、typed embodied ports、action/environment loop 和 episode-level evidence。

看似新的部分中，coding-agent harness、reflection、distillation、archive memory 都是已有思想重组；它们在这篇里的价值来自被放进 embodied architecture search 的执行闭环，而不是单独概念新。实质创新更偏系统化 problem framing：把 published embodied methods port 成统一 typed graph，并用 3×4 matrix 比较 search paradigms，从而首次比较清楚地展示 embodied AAS 的三类 failure mode：rollout noise、local edit basin、partial credit assignment。

它属于“development-time agent architecture optimization”谱系，而不是 deployment-time self-improving agents，也不是 end-to-end VLA policy learning。它优化的是显式 agent program 的结构，不更新模型权重；因此能力上限受 seed executor、node library、可编辑 graph region 和 evaluator budget 约束。

Dataset / Evaluation

评估覆盖了 VLN、EQA 和语言条件 manipulation，选择的 seed executor 也有一定代表性：既有导航 map/planner 系统，也有 QA exploration 和 VoxPoser-style manipulation。这个覆盖足以支持“embodied AAS 可以在多类 workflow-shaped embodied agents 上运行，并在部分 cell 中找到有用修改”的 claim，但不足以支持更强的泛化 claim。

主要 limitation 是实验仍是 simulator-only，没有真机部署，也没有证明 searched architecture 能跨 scene distribution、跨 benchmark 或跨 seed method 迁移。每个 optimizer-executor cell 基本是单次 search run，最终用 rerun 估计 variance，但没有多 seed 搜索统计；因此 search policy 优劣不能过度解读。SR 作为主指标也不足以验证机制性改进，论文中 SmartWay leakage 和 VoxPoser logging fault 正好说明 scalar metric 会掩盖不可部署机制或 substrate 问题。

总体看，evaluation 支持的是“可行性 + 约束刻画”，不是“KDLoop 优于所有 AAS”或“自动架构设计已可靠解决 embodied agent design”。作者对这一点相对诚实：它把 high-scoring leak candidate 排除，并明确区分 directional gain 与 confirmed gain。

Limitation

最根本的限制是 search space 被 AgentCanvas 的 workflow-shaped graph 假设定义了。很多未来 embodied agents 可能在 deployment 中动态创建 tools、memory、subgoals 或 control flow，这类系统不容易被固定 typed graph 覆盖。也就是说，论文把一个开放的 agent design 问题转化成“在可图化局部邻域内搜索”，这是可操作的，但也收窄了问题。

第二，增益归因仍然不清。很多 surviving changes 是 stop gate、prompt formatting、retry、threshold、model config 级别的工程修补；这些确实有价值，但不等于发现新的 planning architecture。文中未充分说明哪些改动在机制上稳定复现，哪些只是 rollout noise 下的 best-pick。三次 rerun 比单次好，但对高方差 embodied rollout 仍然偏少。

第三，credit assignment 只是部分实现。日志可用不代表 optimizer 会用；ADAS/AFlow 基本仍按 scalar score 行动，KDLoop 也只是晚些发现 VoxPoser logging fault。真正可靠的 embodied AAS 需要把 deployability check、信息来源审计、mechanism execution verification 变成硬约束，而不是期待 coding agent 自发读 log。

第四，方法可能把困难从“人设计架构”转移到“人设计 substrate 和 search axes”。AgentCanvas 的 port、node boundary、typed ports、allowed edits、eval profiles 都是强人工先验。所谓 automation 很大程度发生在这个人工定义的局部空间内；如果 seed graph 或 porting boundary 选错，optimizer 很可能找不到真正 failure mode。

Takeaway

• 1. Embodied AAS 的关键不是更聪明的 LLM proposer，而是让 embodied executor 变成可编辑、可验证、可评估、可归因的搜索对象；representation substrate 是核心。
• 2. SR-only search 在 embodied setting 中很危险：噪声、local basin、evaluator leakage 和 substrate bug 都会被 scalar score 掩盖。
• 未来系统必须把 attribution 和 deployability 当作 loop 内机制，而不是 post-hoc 分析。
• 3. Method-seeded local search 是现实可行的第一步，但它更像自动化架构调参/局部重构，不是从零发现 embodied cognition architecture。

一句话总结

这篇论文把 AAS 从 text workflow 推到 simulator-grounded embodied executors，真正贡献是建立了可搜索的 typed-graph substrate 并揭示 embodied 架构搜索的噪声、局部盆地和归因上限，而不是证明自动设计已经能可靠产生通用 embodied intelligence。