Hierarchical Self-Improvement: A Framework for Task-Specific Evolvable Agent Harnesses
不改动模型本身,而是让AI不断自己改写包裹模型的执行脚手架,结果性能提升了
LLM智能体的表现不仅取决于模型本身,还取决于hharness,也就是包裹在模型外面、由提示词、工具、记忆等组成的可执行脚手架代码。这篇论文提出了分层自我改进框架HSI,让一个参数被冻结、不再更新的LLM同时承担三个层级的角色,既改写具体任务的harness,也改写用来改写harness的策略本身。在BALROG基准测试上以DeepSeek-V4-Flash-Preview为冻结骨干模型进行实验,结果显示在中等难度任务上持续提升,但在超出模型自身能力的任务(NLE)上harness再怎么改也没有效果。
METAL MEDIA 解读图
不改动模型本身,而是让AI不断自己改写包裹模型的执行脚手架,结果性能提升了
- 01让同一个参数冻结的LLM分别承担三层角色:执行具体任务的harness、负责改写harness的进化者、以及负责改写进化者策略的元进化者,同时保持最外层执行逻辑不可修改,防止无限制的自我指涉
- 02在执行任务时关闭深度推理(thinking),只在自我修改阶段开启推理,从而把性能提升明确归因于harness改进本身,而非推理算力的增加
- 03在BALROG的中等难度任务上,相较初始harness,原始百分比进度分数提升了BabyAI +39.3、Crafter +33.0、TextWorld +25.0、MiniHack +15.0
- 04在BabaIsAI上,即便预留20%从未在改进过程中出现过的任务,进化后的harness在BreakStop上仍取得0.98、在GoTo上取得1.00的最佳测试成绩,说明确实具备泛化能力而非死记硬背
- 05而在超出模型能力上限的NLE任务上,无论怎样进化harness都没有带来实质提升,揭示了单靠改写harness存在明显天花板
他们做了什么
- 让同一个参数冻结的LLM分别承担三层角色:执行具体任务的harness、负责改写harness的进化者、以及负责改写进化者策略的元进化者,同时保持最外层执行逻辑不可修改,防止无限制的自我指涉
- 在执行任务时关闭深度推理(thinking),只在自我修改阶段开启推理,从而把性能提升明确归因于harness改进本身,而非推理算力的增加
- 在BALROG的中等难度任务上,相较初始harness,原始百分比进度分数提升了BabyAI +39.3、Crafter +33.0、TextWorld +25.0、MiniHack +15.0
- 在BabaIsAI上,即便预留20%从未在改进过程中出现过的任务,进化后的harness在BreakStop上仍取得0.98、在GoTo上取得1.00的最佳测试成绩,说明确实具备泛化能力而非死记硬背
- 而在超出模型能力上限的NLE任务上,无论怎样进化harness都没有带来实质提升,揭示了单靠改写harness存在明显天花板
| LLM | BabyAI | Crafter | TextWorld | MiniHack | NLE | Avg |
|---|---|---|---|---|---|---|
| Gemini-3-Pro | 96.0±2.8 | 57.3±4.4 | 60.2±7.5 | 40.0±7.7 | 6.8±3.2 | 52.1±5.1 |
| Gemini-3.1-Pro-Thinking | 98.0±2.0 | 55.0±6.4 | 75.7±6.4 | 27.5±7.1 | 2.6±0.3 | 51.8±4.4 |
| Gemini-3.1-Pro | 100.0±0.0 | 46.8±4.2 | 66.5±7.5 | 35.0±7.5 | 3.0±0.5 | 50.3±3.9 |
| Gemini-3-Flash | 86.0±4.9 | 45.0±6.3 | 50.2±8.1 | 30.0±7.2 | 4.0±0.8 | 43.0±5.5 |
| Grok-4 | 76.0±6.0 | 57.3±3.9 | 62.9±7.9 | 17.5±6.0 | 1.8±0.8 | 43.1±4.9 |
| Claude-Opus-4.5 | 80.0±5.7 | 49.5±3.1 | 51.4±8.4 | 27.5±7.1 | 2.0±0.5 | 42.1±5.0 |
| Claude-Opus-4.5-Thinking | 72.0±6.3 | 48.6±3.2 | 59.0±8.0 | 30.0±7.2 | 2.4±0.3 | 42.4±5.0 |
| Gemini-2.5-Pro-Exp-03-25 | 80.0±5.7 | 55.0±6.0 | 49.2±8.2 | 17.5±6.0 | 1.7±0.2 | 40.7±5.2 |
| DeepSeek-R1 | 74.0±6.2 | 36.4±3.8 | 21.8±6.1 | 25.0±6.8 | 1.4±0.5 | 31.7±4.7 |
| GPT-5-minimal-think | 80.0±5.7 | 39.1±4.1 | 30.6±7.0 | 20.0±7.3 | 1.3±0.5 | 34.2±4.9 |
| Claude-3.5-Sonnet | 68.0±6.6 | 32.7±3.2 | 42.1±5.4 | 15.0±5.6 | 0.6±0.5 | 31.7±4.3 |
| GPT-4o | 77.6±3.7 | 33.1±2.3 | 39.3±5.2 | 10.0±4.7 | 0.4±0.4 | 32.1±3.3 |
| DS-V4-Flash (Init harness) | 42.0±3.5 | 11.6±5.0 | 40.0±6.2 | 0.8±1.9 | 0.0 | 18.9±3.3 |
| DS-V4-Flash w. HSI (meta-off) | 77.3±1.2 | 36.4±1.6 | 46.0±2.4 | 5.8±3.8 | 0.0 | 33.1±1.8 |
| DS-V4-Flash w. HSI (meta-on) | 81.3±4.2 | 44.6±3.2 | 65.0±3.0 | 15.8±2.9 | 0.2±0.3 | 41.4±2.7 |

| Sub-suite | Init Harness | Best Dev | Best Test (meta-on) | Best Test (meta-off) |
|---|---|---|---|---|
| BreakStop | 0.0333±0.0334 | 1.0000 | 0.9800±0.0632 | 1.0000±0.0000 |
| GoTo | 0.1818±0.0802 | 1.0000 | 1.0000±0.0000 | 0.9636±0.0809 |
| Make | 0.0000 | 0.5556 | 0.3625±0.3284 | 0.3375±0.2029 |

| Suite | Setup | Dev | Val | Test ep. | Dev ep. | Test rep. | Meta | Submit-best |
|---|---|---|---|---|---|---|---|---|
| TextWorld | A | 1.0 | 0.00 | 10 | 3 | 3 | off | 50 |
| BabyAI | A | 1.0 | 0.00 | 10 | 3 | 3 | on | 80 |
| Crafter | A | 1.0 | 0.00 | 5 | 3 | 3 | on | 50 |
| MiniHack | A | 1.0 | 0.00 | 5 | 1 | 3 | on | 80 |
| NLE | A | 1.0 | 0.00 | 5 | 1 | 1 | on | 50 |
| BabaIsAI-BreakStop | B | 0.8 | 0.20 | 5 | 1 | 1 | off | 80 |
| BabaIsAI-GoTo | B | 0.8 | 0.25 | 5 | 1 | 1 | on | 80 |
| BabaIsAI-Make | B | 0.8 | 0.25 | 5 | 1 | 1 | on | 80 |
| Method | Proposer | Surface | Domain | Feature |
|---|---|---|---|---|
| Meta-Harness | External stronger | Full harness code | Coding, math | Full-trajectory feedback |
| Self-Harness | Self (target) | Config interface | Coding | Model-specific edits |
| AHE | External stronger | Decoupled comps | Coding | Observability bottleneck |
| HarnessX | Multi-agent | Typed processors | 5 benchmarks | Operational mirror to RL |
| DGM | Self | Full codebase | Coding | Archive-based search |
| HGM | Self | Full codebase | Coding | Clade meta-productivity |
| GEA | Self (group) | Codebase + exp | Coding | Shared experience pool |
| SICA | Self | Full codebase | Coding | Framework saturation |
| HyperAgents | Fused self | Codebase + meta | Coding, robots | Editable meta-mechanism |
| Live-SWE-Agent | Self (runtime) | Tools on-the-fly | Coding | Zero offline cost |
| TTHE | Self (test-time) | Harness population | Coding, SQL | Unlabeled trace adaptation |
| Rethinking Eval. | — (critique) | — | Coding | Test-time-scaling confound |
| Statistical Limits | — (theory) | — | PAC learning | VC bound ⇔ learnability |
| HSI (Ours) | Same frozen M | 3-layer hierarchy | BALROG | Endogenous hierarchy with frozen outer anchor |
为什么重要
以往提升智能体大多依赖人工手动调整提示词或工具,这项研究证明外围的执行脚手架本身也可以由AI分层、安全地自我改写,而无需更新模型权重。同时它也用实证方式划出了这种自我改进失效的边界,为开发者判断该投入改进harness还是升级底层模型提供了依据。
本文术语
- harness · 包裹在语言模型外部、由提示词、工具、记忆、控制逻辑组成的可执行脚手架代码
- 冻结的LLM(frozen LLM) · 训练好的参数保持固定、不再更新的语言模型
- 进化者/元进化者(evolver/meta-evolver) · 分别负责改写具体任务harness、以及改写改写策略本身的角色
- % Progress · BALROG基准中用0到100分表示任务完成程度的指标
- 留出集泛化(held-out generalization) · 用改进过程中完全未接触过的任务来测试,以确认效果能否迁移到新场景
论文原文摘要(英文)
Modern LLM agents are often improved by modifying prompts, tools, or workflows manually, while the executable scaffold surrounding the model---the harness---is typically treated as a fixed artifact after deployment. This work studies an alternative where the harness is task-specific and continuously evolvable: each task family maintains its own harness, which is hot-swapped across iterations through a fixed task-injection seam and rewritten using environment feedback. We introduce Hierarchical Self-Improvement (HSI), a framework in which a single frozen LLM M operates across three hierarchical scopes: a task harness H that executes tasks, an evolver that rewrites H, and a meta-evolver that rewrites the evolver's strategy code under a frozen outer anchor. A thinking-on/off design isolates the contribution of harness evolution by disabling reasoning during task execution while enabling it during self-modification. HSI is bounded by two factors: a feedback-fidelity bound, since evolution requires informative reward signals to guide selection, and a backbone capability bound, since harness redesign cannot overcome limitations of the frozen model. On BALROG with DeepSeek-V4-Flash-Preview as the frozen backbone, HSI achieves consistent gains over the initial harness on moderate-difficulty tasks (+39.3 on BabyAI, +33.0 on Crafter, +25.0 on TextWorld, and +15.0 on MiniHack, all in raw \% Progress), while obtaining strong held-out generalization on BabaIsAI sub-suites (0.98 best-test on BreakStop and 1.00 on GoTo from a 20% unseen split). On tasks beyond the backbone's capability (NLE), harness evolution provides no improvement. These results demonstrate task-specific harness evolution as a viable axis for improving frozen LLM agents under clear empirical limits. Code is available at https://github.com/TailinZhou/hsi.
在 arXiv 阅读最新论文
- SWE-bench Science: Can Coding Agents Resolve Engineering Tasks in Science?让AI编程助手去修复真实科学软件,连最强的那个也有一半以上任务没做对
- FlashPrefill V2: Block-Sparse Prefill Attention for Long-Context LLM Serving把稀疏注意力从论文原型变成能真正上线服务的加速方案
- PolicyGuide: From Guarding One Action to Guiding the Whole Workflow for Policy-Compliant LLM Agents让客服AI坐席不只是拦住一个危险动作,而是把整个流程走对
- EXIMO: VLM Guided Exploration of VLA Policies不用人工遥控演示,让会说话的AI来教机械臂做新家务
- EnvHarness: Awakening Static Worlds for Agent Learning不重新搭建训练环境,而是给现有环境套一层可插拔组件,针对每个智能体的具体弱点重新塑形
- Bounded Sovereignty and the Control Tax: Pricing AI Oversight When the Deployer Does Not Own the Model租用AI而非拥有AI的机构,安全监管能力只剩一半
- Beyond Imitation: Filtering On-Policy Distillation by Reasoning ProgressAI模仿老师模型学习时,会误伤本来推理正确的步骤,新方法专门过滤掉这种误伤
- PersonalBench: Measuring the Authorship Gap in LLM Personalization让AI模仿某人的文风,结果发现它始终摆脱不了自己的腔调
METAL MEDIA 最新报道
图片来源: Tailin Zhou et al., arXiv:2608.08466, CC BY 4.0