arXiv:2608.27454v1 · Google Research / Virginia Tech · 2026-08-27 · 全文 28 页

WikiSkill:将智能体经验编译为持久知识,驱动可验证的技能演化

本手册以原论文正文、图 2/3、表 1–7、算法 1 与附录 E 的系统提示词为依据,在前一版本基础上进一步统一中文术语、收敛重复表述,并严格区分“论文事实”“作者解释”与“专家工程推论”。目标不是做论文摘要,而是把 WikiSkill 的状态设计、知识积累机制、技能更新闭环、实验边界与可复现工程方案讲清楚。

原文对齐持久知识库技能演化ReAct 推理执行验证门控跨模型迁移
01

核心结论:真正值得学习的是“经验 → 知识 → 技能 → 验证”的闭环

强

核心证据

持久 Wiki 知识库的作用有直接消融支持:在 Gemini-3.5-Flash 上,技能提议智能体使用持久 Wiki 后,平均分由 48.7 提升到 63.7。

强

工程设计

原始轨迹 / Wiki / 技能三层状态,以及“技能可回滚、Wiki 持续保留”的非对称更新,是论文最有复用价值的部分。

未完成

尚未解决的生产问题

技能检索、Wiki 裁剪和超长时程在线适应均被论文明确留作未来工作。

本手册标记含义使用规则
论文事实正文、表格、算法或附录直接支持可以作为复现依据
作者解释论文中以 suggest / hypothesize 等措辞提出的解释不能写成已证明的因果机制
专家推论基于论文结果做的工程化分析明确不是论文原结论
修订后的核心判断:WikiSkill 最准确的技术定位是:在不更新模型参数的前提下,把训练任务上的执行经验持续整理为外部知识,并据此演化 基于文件系统的程序性技能。“知识编译器(Knowledge Compiler)”“外部化程序性学习(Externalized Procedural Learning)”可以作为教学类比,但都不是论文正式术语。

术语约定

为提高中文可读性,正文优先使用“智能体、技能、执行轨迹、任务执行、持久知识库、验证门控”等中文名称;模型名、文件名、变量名与 ReAct、SKILL.md、PURPOSE.md 等实现标识保持原文。首次出现时保留必要英文,后文不再重复翻译。

依据:Abstract;§1;§2;§3;§5.1;局限性。

02

问题定义:论文优化的不是模型参数,而是“技能 + 持久知识库”的联合状态

论文定义数据集 D={(x_i,y_i)},划分为互不重叠的 D_train、D_val、D_test。Agent π 配备工具集 U 与 当前有效技能集合 S,执行得到 trajectory τ_i=(o_1,a_1,...,o_T,a_T),最终通过 领域特定评分函数 f(ŷ_i,y_i)∈[0,1] 评分。

最重要的状态:State_k = (S_k, W_k)。论文不是只优化 Skill;它把 当前有效的程序性技能集合 S 与 持久知识库 W 一起视为跨迭代状态。

技能集合 S

每个 dataset 都从空集 S_0=∅ 开始演化。Skill 是 基于文件系统的目录模块,核心文件为 SKILL.md。

Wiki 知识库 W

同样从 W_0=∅ 开始,但与技能不同,Wiki 在提议被拒绝时也不会回滚。

依据:§2 问题定义,pp.3–4。

03

框架总览:执行经验 → Wiki 知识库 → 技能 → 验证

原始执行经验训练任务执行轨迹
→
持久 Wiki 知识库模式、根因、历史证据
→
候选技能程序性指令 / patch
→
验证门控接受或回滚

论文真正新增的中间知识层

已有技能演化方法也会执行训练任务、分析轨迹、提出技能更新并进行验证门控。WikiSkill 的关键差别是:把“已经学到的东西”维护成一个独立、持续演化的知识表示,而不是只散落在 提议历史、轨迹局部经验 或 优化器反馈 中。

工程类比(非论文术语):可以把 Raw 看作 原始遥测数据、Wiki 看作 中间知识表示、Skill 看作 可执行程序、验证门控 看作 回归测试。这个类比有助于工程理解,但不要把它当成论文作者的正式定义。

依据:§1;图 2;§6 相关工作。

04

三层知识架构:原始轨迹、持久知识与可执行技能采用不同生命周期

Workspace
├─ raw/ — 不可变执行轨迹
│ └─ 推理过程 / 工具调用 / 工具输出 / 最终答案
├─ wiki/ — 结构化、持续累积的知识
│ ├─ index.md
│ ├─ patterns/*.md
│ ├─ logs.md ← 主文与 Figure 3 的命名
│ └─ skill-impact.md
└─ skills/ — 当前有效的程序性知识
└─ <skill>/SKILL.md + PURPOSE.md
层论文生命周期主要写入者角色
Raw永久保存 / 只写一次Inference 任务执行保存原始执行历史
Wiki持续累积 / 不重置Wiki 维护智能体 + 外循环编排器把经验组织成结构化知识与审计历史
Skill可回滚 / 条件更新技能提议智能体 proposal,经 gate 生效推理智能体 可直接使用的程序性知识
文件名细节:正文 §3.1、§3.2.2 与 Figure 3 使用 logs.md;附录 E.2 的 Wiki 维护智能体提示词却写成 wiki/log.md。这是论文本身的命名不一致。本手册以正文/图示中的 logs.md 为主,并保留该差异提醒复现者。

依据:图 2;§3.1,第 4–5 页;图 3;附录 E.2,第 26 页。

05

推理智能体:训练执行时只注入当前技能,不直接读取 Wiki

第 k 轮,推理智能体 使用 S_{k-1} 执行训练任务。论文把所有 active skill 的完整内容直接注入 系统提示词,而不是进行技能检索 / 触发。这样做是为了隔离“技能本身质量”,避免检索失败成为混杂变量。

论文事实:训练任务执行时限制推理智能体访问 Wiki。论文 §5.1 的消融实验显示,在技能提议智能体可以访问 Wiki 的情况下,如果执行任务的智能体也能访问 Wiki,平均分会从 63.7 降到 60.9。
作者解释,而非已证明因果:作者假设 Actor 如果能直接从 Wiki 取到任务知识,生成的训练轨迹就可能不再充分暴露 Skill 的缺陷,因此对后续 技能开发 的诊断价值下降。

依据:§3.2;§3.2.1;§5.1。

06

Wiki 维护智能体:核心任务是模式归纳、根因分析与证据累积

Wiki 维护智能体 接收当前完整 Wiki context W_{k-1} 与从本轮训练轨迹中抽样的 T_sample,k。它要对失败任务做 根因分析,对成功任务提取有效策略,并增量创建/修改 wiki/patterns/,同时更新索引与演化日志。

实现约束论文 / Prompt 的精确设置
每轮 trace 样本最多 8 条:最多 5 条 failing + 最多 3 条 passing
单条 trace 长度注入提示词前每条轨迹最多保留 15,000 个字符
Pattern 页面描述 + 根因 + trace 中的实际 动作/命令序列 + 具体解决方案/规避策略
Pattern 长度Prompt 建议 10–30 lines;只记录 有意义、可泛化的观察
去重不要创建 重复模式;已有模式应 patch 并追加新 evidence
索引条目必须让智能体只看索引就能判断相关性:问题 + 根因 + 修复方法
重要职责分离:logs.md 是 Maintainer 维护的分析性演进日志;skill-impact.md 则是在 validation 之后由 外循环编排器 程序化写入 提议元数据、统一差异补丁、验证分数以及“接受 / 拒绝”结果。它更接近客观的干预审计轨迹。

依据:§3.2.2;附录 C;附录 E.2。

07

技能提议智能体:先读索引,再按需读取证据的 ReAct 优化器

Proposer 的输入在公式上是 M_P(W'_k, S_{k-1}, T_train,k)。为避免长执行历史耗尽上下文窗口,它一开始不会获得全部原始轨迹,而是先获得 Wiki 索引、skill-impact.md、全训练任务的简洁 结果摘要,并在 ReAct 过程中用 read_file 主动读取相关 pattern 与 原始轨迹。

index.md先建立知识目录
→
skill-impact.md避免重复失败 proposal
→
read_file按需钻取 pattern / trace
→
finish提交 原子化提议
提示词契约要求
最少读取轨迹在提出 技能修改 前必须读取至少 4 条 执行轨迹
Proposal 粒度每轮只针对一个技能;操作类型为创建 / 补丁修改 / 不修改
Patch 优先现有 Skill 部分正确时,优先 patch,而不是新建重复 Skill
Create 输出SKILL.md 包含 YAML 前置元数据、适用条件、不适用条件和执行说明;PURPOSE.md 包含来源、对应模式和演化历史
专家解读:这是一个很干净的 上下文工程 模式:先给索引和历史,再由 Agent 决定需要展开哪些证据。但“索引优先的渐进式展开”是本手册的教学概括,不是论文原术语。

依据:§3.2.3;Appendix E.3,pp.27–28。

08

验证门控与回滚:只有严格超过历史最好验证分才接受技能修改

S'_k = Apply(S_{k-1}, P_k)
score = R(T_val,k)

if score > R_best:
    S_k = S'_k
    R_best = score
    a_k = Accepted
else:
    S_k = S_{k-1}   # rollback skill only
    a_k = Rejected

W_k = Update(W'_k, P_k, score, a_k)  # wiki retained

初始化

在演化开始前先使用空技能集合 S_0 运行验证集,得到基线分数 R_best。

提前停止

如果某轮 R_best=1.0,算法提前结束。

需要修正的说法:技能被拒绝后,Wiki 的保留并不意味着系统已经知道“为什么失败”。论文可以确定的是:模式与日志历史会继续存在,外循环编排器还会写入提议差异、验证分数和接受/拒绝结果。至于提议为什么无效,可能需要后续分析,不能直接当成已知的真实根因。

依据:§3.2.4;Algorithm 1。

09

核心算法:WikiSkill 外循环的最忠实实现骨架

Require: D_train, D_val, metric R, iterations K
S_0 = empty
W_0 = empty
R_best = validate(D_val, S_0)

for k in 1..K:
    if R_best == 1.0:
        break

    T_train_k  = rollout(D_train, S_{k-1})
    T_sample_k = sample_subset(T_train_k)
    W_prime_k  = WikiMaintainer(W_{k-1}, T_sample_k)
    P_k        = SkillProposer(W_prime_k, S_{k-1}, T_train_k)
    S_prime_k  = Apply(S_{k-1}, P_k)
    T_val_k    = rollout(D_val, S_prime_k)

    if R(T_val_k) > R_best:
        S_k = S_prime_k
        R_best = R(T_val_k)
        accepted = True
    else:
        S_k = S_{k-1}
        accepted = False

    W_k = Update(W_prime_k, P_k, R(T_val_k), accepted)

return S_K, W_K
一个关键非对称更新:S 是 gated state;W 是持续累积状态。这种非对称性比“多一个 Wiki 智能体”更重要,因为被拒绝的干预仍会进入后续优化上下文。

依据:附录 A,算法 1,第 19 页。

10

实验设置与证据边界:先看数据规模,再判断结论强度

基准任务任务类型训练集验证集测试集工具
LiveMathSingle-Step 数学推理3518124None
SealQAMulti-Step 搜索问答161085web_search, read_file
SpreadSheetMulti-Step 表格操作8040280bash
OfficeQALong-context 文档问答5024172glob, grep, read
ALFWorld多步具身任务3918134可执行动作集合

模型包括 Qwen-3.5-4B/9B-Instruct、Qwen-3.6-27B、Gemma-4-31B-It 与 Gemini-3.5-Flash。每种方法的完整技能演化流程独立运行 3 次,表 1 报告 3 组最终技能集合的平均测试表现,并使用 1,000 次配对 Bootstrap 在 p<0.05 下判断显著性/统计并列。

证据边界:验证集规模很小(10–40 个样本),论文也明确承认门控决策会受到评估噪声影响,因此使用 3 次独立完整演化和 Bootstrap 检验提高报告稳健性。它并没有证明小验证集下每一次单独的技能提议决策都可靠。

依据:§4.1;附录 B 表 6;附录 C。

11

主实验结果:五个模型的平均成绩均领先,但不是每个“模型 × 基准任务”都领先

推理模型无技能平均分最强已有方法平均分WikiSkill 平均分相对 No Skill
Qwen-3.5-4B26.235.238.5+12.3
Qwen-3.5-9B29.942.347.4+17.5
Qwen-3.6-27B39.453.363.3+23.9
Gemma-4-31B41.349.154.9+13.6
Gemini-3.5-Flash49.556.168.1+18.6
必须保留的反例:WikiSkill 并不是在每个实验单元上都提升。例如:Qwen-3.5-4B 在 OfficeQA 上从无技能的 30.2 降到 28.5;Qwen-3.5-9B 在 LiveMath 上 EvoSkill 的 58.1 高于 WikiSkill 的 56.3;Qwen-3.6-27B 在 OfficeQA 上 SkillOpt 的 54.8 高于 WikiSkill 的 53.7。论文真正有力的结论是五个推理模型的平均性能均为最高,并且多数“模型-数据集”组合相对无技能基线有所改善,而不是“所有任务都赢”。

几个显著提升

Gemini-3.5-Flash:LiveMath 33.0 → 72.6,SpreadSheet 50.5 → 76.6;Qwen-3.6-27B:ALFWorld 52.8 → 77.6。

依据:§4.2.1;Table 1。

12

技能与模型能力:实验支持二者互补,但不能直接上升为严格缩放定律

+12.3 / +17.5 / +23.9

Qwen 系列

WikiSkill 对 4B、9B、27B 的平均增益随该组模型变大而增加。

47.4 > 39.4

技能可部分补偿模型规模

Qwen-3.5-9B + WikiSkill 的平均分高于 Qwen-3.6-27B no-skill。

需要修正上一版的因果表述:论文结果suggest 论文观察到“更强模型可以从演化技能中获得更大收益”,但该比较并不是严格控制变量的缩放定律:Qwen 模型之间不仅参数规模不同,还包含 3.5 / 3.6 版本差异。更准确的表述是:在本文评测的 Qwen 系列中,观察到了技能增益随模型能力/规模上升的趋势。

依据:§4.2.1,pp.8–9。

13

跨模型技能迁移:技能发现能力与技能执行能力可以分离

需要特别注意的事实边界

需要特别注意:不能把不同基准任务的结果描述成“同一技能同时提升多个任务”。论文是每个 dataset 分别从空 Skill set 演化,所以跨 基准任务 的数字来自同一 源模型 在不同 基准任务 上生成的对应 skill,而不是同一份 SKILL.md。

Target Model / 基准任务No Skill自演化技能迁移技能Source
Qwen-3.5-9B / SpreadSheet24.333.650.5Qwen-3.6-27B
Qwen-3.5-9B / ALFWorld34.763.470.2Qwen-3.6-27B
Gemma-4-31B / LiveMath33.956.773.7Qwen-3.6-27B
Gemma-4-31B / LiveMath33.956.773.1Qwen-3.5-4B
论文结论:技能发现(从经验中提炼有用程序)与技能执行(在 inference 时可靠地遵循该程序)是可以区分的能力;更强 源模型 也不必然产生更好的 可迁移技能。

依据:§4.2.2;Table 2。

14

负迁移:技能并非天然跨模型通用,论文明确识别了两个主要原因

Qwen-3.5-4B 在 SpreadSheet 上演化出的技能会让 Gemini-3.5-Flash 从 50.5 降到 18.1;而 Qwen-3.6-27B 在同一任务上演化出的技能则把它提升到 63.4。

论文 错误分析 明确识别的因素机制
低层级规避策略例如 单行 Python 命令、字符串转换规则:帮助小模型避免 执行失败,却会限制强模型使用更完整的 端到端脚本。
碎片化诊断流程引入冗余 工具调用,可能在完成任务前耗尽 Gemini-3.5-Flash 的 交互预算。
专家推论:生产系统因此值得给 Skill 加 tested_on_models、能力假设、已知负迁移等兼容性元数据;但这是工程建议,论文没有提出这套字段结构。

依据:§4.2.2,p.9;Table 2。

15

Wiki 消融实验:最直接的证据是持久知识库显著提升技能提议质量

推理智能体 Wiki技能提议智能体 Wiki平均分准确解读
——40.4无技能基线
✓✗45.3论文消融配置;技能提议智能体没有持久 Wiki
✗✗48.7没有跨迭代的持久知识积累
✓✓60.9技能提议智能体使用 Wiki,同时训练执行智能体也可访问 Wiki
✗✓63.7默认 WikiSkill
最硬的消融:在推理智能体不访问 Wiki 的前提下,让技能提议智能体使用持久 Wiki,平均分从 48.7 提升到 63.7(+15.0)。这是“跨迭代知识积累有助于技能演化”的最直接证据。
不要写过头:“执行任务的智能体读取 Wiki 会掩盖技能缺陷”是作者提出的假设。实验能够证明的是:在该配置下最终技能质量下降;但仅凭表 3 不能证明这是唯一的因果路径。

依据:§5.1;Table 3。

16

技能与 Wiki 演化动态:知识积累并非只在早期有效

技能长度与结构随模型而变化

按模型平均,Qwen 生成的技能较长(118.9–128.6 行),Gemma-4-31B 更短(45.1 行),Gemini-3.5-Flash 为 81.2 行。

不同基准任务的知识复杂度不同

SpreadSheet 的平均技能最长(142.5 行)且模式最多(9.8 个);LiveMath 的技能最短(84.6 行)且模式最少(4.4 个)。

被接受的技能更新不只发生在早期

Table 5 把 被接受的更新 分为 Iter 0–1、2–4、5–7。不同模型早期约占 39%–52%,中后期仍有大量接受更新;SealQA 甚至有 33% 在中期、28% 在后期。

合理但有限的解释:这些统计与消融结果一致地表明跨迭代知识在后续阶段仍有用途;但“后期仍然发生更新”本身不能证明 Wiki 是唯一原因,因果证据仍应以表 3 的消融实验为主。

依据:§5.2;表 4;附录表 5。

17

ALFWorld 案例:被拒绝的技能提议会进入后续优化上下文,而不是模型训练数据

ITER 0

Wiki 维护智能体 识别 take-examine-move-loop;Proposer 创建 goal-directed-action。图 3 中该提议的验证分数为 0.72,因此被拒绝,但差异补丁与拒绝结果仍保留在 skill-impact.md。

ITER 1

Proposer 利用 历史拒绝记录,创建更具体的 break-repetition-loop,其中包含“不要把物品放回原位置”的具体规则;图 3 显示验证分数为 0.78,因此被接受。

ITER 2–4

Wiki 新增 / 累积 multi-operation-loop 证据;到第 4 轮时,系统又为技能加入“每种操作类型对每个物品只执行一次”的规则,并通过验证门控。

修正术语:Rejected Skill 并没有变成 参数训练数据。更准确地说,它变成外部 optimizer 的 持久优化上下文 / 干预历史,供后续 技能提议智能体 避免重复失败方向。

依据:Figure 3;§5.3。

18

与基线方法对比:关键差异在于是否维护独立、持续演化的知识表示

方法论文 Appendix D 的核心机制独立、持续演化的知识表示
Trace2Skill每条轨迹独立进行成功/失败分析 → 生成局部补丁 → 分层合并 → 验证否
EvoSkill候选前沿搜索;使用失败轨迹和扁平的提议反馈历史;候选 SKILL.md 进入有界候选集合否
SkillOptReflACT:执行 / 反思 / 聚合 / 选择 / 更新 / 评估;更新单一技能文档否
WikiSkill原始轨迹 → 持久 Wiki → ReAct 技能提议智能体 → 验证门控是
论文的差异主张:已有方法会保留提议历史、轨迹局部经验或被拒绝修改的反馈,但没有把“已经学到的知识”维护为独立、持续演化的知识表示。

依据:§1;§6;Appendix D.1。

19

调用复杂度与真实成本:O(1) 只表示优化器调用次数,不代表总成本

论文定义的是 优化器 API 调用复杂度 C。WikiSkill 每个批次需要 1 次 Wiki 维护智能体的大模型调用,技能提议智能体大约运行 10 ≤ T_ReAct ≤ 20 个 turn,因此:

C_WikiSkill = (1 + T_ReAct) * N_train / B

paper setting: B = N_train
=> C_WikiSkill = 1 + T_ReAct
=> O(1) with respect to N_train  [optimizer call count only]
关键修正:这个 O(1) 不包含 N_train 个训练任务本身的执行、验证集执行、Token 长度、文件读取、工具 I/O 和墙钟时间成本。论文也明确指出,恒定的优化器调用次数在某些数据集上仍可能带来更高推理成本,因此不能写成“WikiSkill 总成本是 O(1)”。
专家补充观察:Wiki 维护智能体每轮接收完整 Wiki 上下文,而 Wiki 会持续增长;因此长期 Token 成本是否可扩展,并没有被表 7 的“调用次数分析”回答。

依据:附录 D.2;表 7;公式 5。

20

提示词与文件契约:这是复现 WikiSkill 最值得直接借鉴的工程部分

严格贴合论文 Contracts
├─ 推理智能体
│ └─ 全部当前有效技能内容 injected into 系统提示词
├─ Wiki 维护智能体
│ └─ JSON: create_patterns / update_patterns / update_index / append_log
├─ 技能提议智能体
│ └─ tools: read_file(path) / finish(proposal)
└─ Outer Harness
└─ validate + rollback + programmatic skill-impact append

为什么结构化修改契约比“让大模型直接改文件”更重要

Wiki 维护智能体和技能提议智能体都使用受约束的补丁操作(append / replace / insert_after),其中 replace 的目标必须是精确子串;技能提议智能体每次只修改一个技能。这样可以把大模型的文件修改行为变成结构化、可审计的修改契约。

路径细节:论文正文描述 Raw Layer 为 raw/;Appendix E.3 说明 执行轨迹 物理存储在 raw/traces/,但 Proposer 的 workspace 会把 read_file("traces/<task_id>") alias 自动映射到对应 原始轨迹。

依据:Appendix E.1–E.3,pp.24–28。

21

论文明确局限:作者明确提出的四个未解决问题

论文明确限制作者说明
技能检索 / 触发 未评测实验直接完整注入当前有效技能,目的是隔离技能本身的质量;当技能库规模增大后,技能检索将变得重要。
严格验证门控只接受立即提升 验证分数 的 proposal,会排除短期中性但可能为后续提升铺路的修改。
没有 自动 Wiki 裁剪模式页面、日志和提议差异会持续累积,长期运行可能需要自动裁剪。
没有 超长时程在线适应基准任务虽然包含多步交互和长上下文,但不覆盖数百次动作或持续数小时任务中的单次执行内在线技能优化。

依据:局限性,p.14。

22

专家补充风险:以下是工程审阅结论,并非论文原文结论

专家风险为什么值得关注论文证据基础
Wiki 知识质量 / 过期模式Wiki edits 全部保留;LLM 做 根因分析,长期可能产生错误、过期或冲突知识。论文确认 Wiki never reset,但未提供知识置信度/冲突治理机制。
自适应验证集过拟合同一个小验证集被连续用于多轮技能提议的门控,因此存在对验证集自适应优化甚至过拟合的风险。Val 仅 10–40 个样本;论文讨论 noise,但没有专门研究 自适应过拟合。
跨模型兼容性表 2 已经出现严重负迁移,说明技能并不是天然与模型无关。SpreadSheet:Qwen-4B 演化出的技能使 Gemini 从 50.5 降到 18.1。
Wiki Token 增长Wiki 维护智能体每轮读取完整 Wiki 上下文,长期运行后会带来 Token 和延迟压力。依据:§3.2.2,以及论文“没有自动 Wiki 裁剪”的局限说明。
最重要的治理边界:“Wiki 不回滚”应该理解为历史不丢失,而不是“Wiki 里的每条结论永久可信”。生产系统最好把 只追加的证据历史 与 当前可信知识视图 分开。
23

生产化 V2 方案:在论文框架上补齐知识治理、检索与多指标门控

WikiSkill 生产化 V2
├─ 不可变轨迹存储
│ └─ 任务/模型/工具/版本/内容哈希
├─ 证据驱动的 Wiki 知识库
│ └─ 模式 → 轨迹 ID → 置信度 → 最近验证时间
├─ 当前知识视图
│ └─ 去重 / 冲突检测 / 过期检测 / 归档
├─ 技能注册表
│ └─ 适用范围 / 已验证模型 / 已知负迁移
├─ 技能检索
│ └─ 任务 → 在 Token 预算内选择 Top-K 技能
└─ 多指标门控
└─ 质量 + 成本 + 延迟 + 工具调用 + 安全性
推荐状态语义:Raw = immutable;Wiki history = append-only;Active Wiki view = versioned/governed;Skill = versioned/gated。这样保留 WikiSkill 的知识复利优势,同时避免“错误知识永远激活”。
24

复现与 7 天学习路径:严格按论文真实采样预算完成最小复现

严格贴合论文的最小目录

workspace/
├── raw/
│   └── traces/
│       ├── task_001.log
│       └── task_002.log
├── wiki/
│   ├── index.md
│   ├── logs.md          # 主文命名;Appendix E.2 有 log.md 不一致
│   ├── skill-impact.md
│   └── patterns/
├── skills/
│   └── <skill_name>/
│       ├── SKILL.md
│       └── PURPOSE.md
└── eval/
    ├── train
    ├── val
    └── test
DAY 1

读 §2 + Figure 2:只画 (S_k,W_k) 状态机,讲清 Raw / Wiki / Skill 的生命周期。

DAY 2

实现 任务运行器、轨迹记录器、领域评分器;先复现 D_train / D_val / D_test 的分离。

DAY 3

严格按附录 C 的采样预算执行:每轮最多 8 条轨迹(最多 5 条失败 + 最多 3 条成功),每条轨迹最多 15,000 个字符。

DAY 4

实现 Wiki 补丁契约:模式创建/更新、完整重写索引、追加日志;再由外循环编排器独立写入 skill-impact。

DAY 5

实现技能提议智能体的 ReAct 流程:先读取 index / skill-impact,再按需读取证据;提出修改前至少读取 4 条轨迹;每次只创建或补丁修改一个技能。

DAY 6

实现严格 gate:candidate_score > R_best 才接受;失败时只回滚技能,不回滚 Wiki。

DAY 7

复现两个关键实验:技能提议智能体有/无 Wiki 的消融;同一基准任务上的跨模型技能迁移,并记录负迁移。

学习完成标准:最终目标不是只会解释论文,而是能够实现“执行轨迹 → 持久 Wiki → 原子化技能提议 → 留出验证集验证 → 回滚 / 审计”的完整外循环,并明确区分论文原方案与生产化扩展。
25

掌握检查清单与原文索引

  1. 为什么论文把系统状态写成 (S_k,W_k),而不是只写 S_k?
  2. 为什么 skill-impact.md 与 logs.md 的写入者不同?这种分离带来什么审计价值?
  3. 为什么训练执行智能体不应访问 Wiki,而技能提议智能体应该访问 Wiki?其中哪些是实验事实,哪些只是作者假设?
  4. 为什么 完整技能注入 只是实验控制设置,不能直接当成大规模生产方案?
  5. 为什么技能提议智能体至少要读 4 条轨迹?为什么 Wiki 维护智能体每轮最多只采样 8 条轨迹?
  6. 为什么 Qwen-3.6-27B 在不同 基准任务 产生的是不同 skill,不能把跨 基准任务 数字描述成“同一 Skill”?
  7. Table 1 为什么支持“平均更强”,却不支持“每一个任务都更强”?
  8. 为什么 Qwen 系列的增益趋势不能直接上升为严格的缩放定律?
  9. Table 7 的 O(1) 到底只计算了什么?没有计算什么?
  10. 如果长期运行 1,000 轮,Wiki 的真实性治理、裁剪、检索和验证治理应该如何补齐?
主题论文位置建议阅读目标
问题定义§2, pp.3–4定义 D、π、U、S、执行轨迹、R、(S_k,W_k)
三层架构Figure 2; §3.1, pp.4–5生命周期与文件职责
四组件 Evolution§3.2, pp.5–6推理执行 / Wiki 维护 / 技能提议 / 验证门控
主结果Table 1; §4.2.1平均优势与 per-task 反例
跨模型技能迁移Table 2; §4.2.2技能发现与技能执行 / 负迁移
Wiki 消融实验Table 3; §5.1持久 Wiki 知识库 的最直接因果证据
Dynamics / CaseTable 4; Figure 3; §5.2–5.3知识与 Skill 如何跨迭代累积
AlgorithmAppendix A, p.19复现 outer loop
Splits / SamplingAppendix B–C, pp.19–21小验证集、最多 8 条轨迹采样、Bootstrap 检验
Optimizer CallsAppendix D; Table 7理解 O(1) 的限定条件
Exact PromptsAppendix E, pp.23–28文件结构、补丁契约、至少读取 4 条轨迹

页面格式严格遵循《html_UI 设计规范.md》:240px 固定侧栏、900px 内容区、白底 / 米白背景、单一蓝紫强调色,并使用卡片、提示块、标签、层级图、时间线、对比表格与 IntersectionObserver(threshold 0.4)。

← 返回内容索引