← 返回 2026-10-22

面向演化中多智能体团队的组相对技能信用分配 Which Agent's Skill Should Change? Group-Relative Credit Assignment for Evolving Multi-Agent Teams

Yanan Ma, Yang Wang, David Le, Chenhan Yuan, Yizheng Sun, Guangwei Zhang, Chenghao Xiao, Chenghua Lin, Imon Banerjee 📅 2026-10-19 👍 10 2026-11-11 18:30
GRPO LLM智能体 信用分配 免训练优化 多智能体系统 技能演化

同题多次团队执行互为对照,把成败归因到智能体技能,指导免训练的技能库演化

前置知识

GRPO(组相对策略优化)

一种强化学习算法:对同一问题采样一组(多条)回答,用组内奖励均值作基线、标准差作归一化,按 $A=(r-\bar r)/(\sigma+\epsilon)$ 计算组内相对优势,无需训练独立的价值网络就能得到细粒度学习信号。由 DeepSeekMath 提出,后被扩展为免训练版本(Training-Free GRPO)。

GRSE 的名字与核心机制直接来自 GRPO:它把组内对比从参数梯度搬到行为层面,为批评家提供对比基础。读懂公式 (2) 的相对优势定义和分组采样设计都依赖这个背景。

信用分配(Credit Assignment)

多智能体系统共享一个团队级结果(成功或失败),信用分配要回答:这个结果该归因到哪个智能体的哪步行为。多智能体强化学习中的经典做法是差分奖励或反事实基线——把某个智能体的行为替换掉,观察结果如何变化,以 isolating 其真实贡献。

本文把「哪个智能体的技能该改」形式化为信用分配问题;只有理解反事实对比的思想,才能领会为什么同一问题的多次执行能定位到真正的责任方。

技能库(Skill Library)

以自然语言书写的可复用流程文件(名称+描述+正文),作为提示注入智能体的系统提示中。模型参数完全不变,只修改技能文本就能改变智能体行为;技能可被精炼、合并、剪枝或新造。因此信用是「可执行的」——定位到责任后就能直接修订对应技能。

本文的演化对象就是技能文件:实验中 Agent 1 的检索技能与 Agent 2 的回答技能质量直接决定团队成败,所有归因与编辑操作都作用在技能库上。

结构化失败诊断与引用校验

把「为什么失败」写成固定 schema:智能体、技能、八类失败类型之一(技能未遵循/技能缺陷/能力缺失/交接错误/证据缺失/答案格式/工具失败/归因不确定)、失败步骤引用、成功对照引用、修改建议和动作。系统自动校验引用的 rollout 索引、智能体归属与动作一致性,不合法的诊断被退回重写。

这是 GRSE 让归因「可验证、可执行」的关键机制,也是消融实验中移除后掉 1.0 F1 的组件;不懂它就看不懂批评家提示词(图 12)与鲁棒性分析。

研究动机

协作式 LLM 智能体团队(例如一个负责检索证据、一个负责推理作答)只能靠共享的团队结果(最终答案的 F1)来改进,而现有经验/技能学习方法的信用分配过于粗糙。最接近的 SOTA 方法 MASkills 对每条轨迹孤立评估技能贡献:只要技能出现在某条成功轨迹里就记正分,「在场」被当成了「有责」。这带来两个层面的失败。一是归因错位:错误浮现的位置不等于责任所在的位置,例如推理智能体答「not mentioned」,但真正的问题可能是检索智能体的 grep 关键词没有召回包含答案的轮次——该改的是检索行为,而不是回答行为。二是坏技能反而被奖励:在论文的鲁棒性实验中,MASkills 把一个人为植入的有害技能 verbatim-evidence-guard(要求证据逐字包含答案否则弃答)的效用估计从第 1 轮的 0.04 一路升到第 3 轮的 0.12,持续精炼而不删除,最终在受污染技能库上把 F1 从起点 60.6 拉低到 58.4(−2.2),连起点都没保住。

本文的目标是作者的目标是:在模型参数与智能体角色完全冻结、行为只由可编辑的自然语言技能库定义的前提下,构建一个免训练框架,把团队的成败可靠地归因到「哪个智能体的哪个技能」,并让归因满足四个性质:(1) 有对比依据——同一问题的多次完整团队执行互为反事实基线,只有解释了结果差异的行为才获得信用;(2) 可验证——每条归因绑定失败类型、引用的失败/成功执行步骤和修改动作,系统做引用合法性检查;(3) 可聚合——跨问题按「支持该归因的不同问题数」加权,避免把同一问题的重复执行当作独立证据;(4) 有安全阀——每次技能库更新都要在验证集上过门槛,归因错误的更新不会被保留。最终在 HotpotQA 与 LoCoMo 上验证这套信用能否转化为更高的团队得分和更健康的技能库。

与已有工作不同的是,对比的思想已有先例,但用法都不同:Training-Free GRPO 把组内对比蒸馏成整体经验上下文;SkillCAT 对比同任务成败对、SkillCome 结合组内对比与失败记忆——它们比较的是结果或优化的是被对比的配置本身,都不把结果定位到「具体智能体—具体技能—引用步骤」;MARL 的差分奖励能做归因但需要训练策略参数。GRSE 的独特切入是:技能库保持固定,对比的是团队行为本身——同题、同技能库下的 $G$ 次完整执行,高优势与低优势执行之间的行为差异就指向决定结果的行为。这让「在场≠有责」迎刃而解:有害技能在成功与失败执行中都出现,无法解释组内结果差异,因而拿不到正分。

核心方法

GRSE(Group-Relative Skill Evolution)是一个免训练框架:LLM 参数与角色冻结,每个智能体的行为由技能库 $K_t=(K_t^1,\dots,K_t^N)$ 定义,靠迭代修订技能文本进化。直觉是:想知道谁的技能该改,就让团队对同一问题跑几次,比较成功与失败执行差在哪里。每个迭代三步。第一步分组采样:对批次 $B_t$ 中每个问题 $q$,在相同技能库下采 $G=4$ 条完整团队轨迹,计算奖励 $r_q^g\in[0,1]$ 和组相对优势 $A_q^g=(r_q^g-\bar r_q)/(\sigma_q+\epsilon)$(当 $\sigma_q\le\epsilon$ 时置 0)。第二步组相对批评家:一个固定 LLM(Qwen3.8-27B)一次读入全部 $G$ 条执行,逐智能体对比行为与交接,输出技能信用(helped/redundant/harmful/neutral 加效用分 $u\in[-1,1]$)、智能体级反馈和结构化失败诊断(八类失败类型+引用步骤+修改动作),并通过引用校验。第三步跨问题聚合与技能演化:把信用聚合为编辑方向,驱动精炼/归纳/合并/剪枝四个算子;候选库在验证集上打分,只有不低于 $b_t-\delta$ 才被接受,如此运行 $T=5$ 轮。

核心创新是把 GRPO 的「组内相对优势」从参数优化搬到行为信用分配层面。关键洞察:组内所有执行共享同一问题与同一技能库,因此高、低优势执行之间的差异只能来自行为本身——这就是天然的反事实基线。它解决了两件已有方法做不到的事。第一,归因能越过「错误浮现的位置」:图 1 的例子里 Agent 2 在 4 次执行中 3 次答「not mentioned」,但其行为正确,决定性差异是 Agent 1 的搜索查询只在成功执行中召回答案轮次——批评家逐智能体对比后把责任判给 Agent 1 的检索。第二,归因可验证、可执行:结构化诊断把每条归因绑定到失败类型(8 选 1)、引用的失败/成功步骤($L^-$ 必须引用非满分执行、$L^+$ 必须引用满分执行)和修改动作(refine/induce/none),引用越界、动作与技能轨迹不符或工具失败/归因不确定的诊断只允许 no-edit。与 MASkills 的本质区别就在信用来源:单条轨迹孤立看,「在场」就得分;一组对比看,只有解释了结果差异的行为才得分。

方法步骤详情

完整流程(算法 1)如下。第 1 步:从训练集采批次 $B_t$(HotpotQA 每批 100 题,LoCoMo 24–32 题),对每题在固定库下采 $G=4$ 条团队轨迹(温度 1.0 保证多样性),奖励 $r_q^g=R(q,\tau_q^g)$(HotpotQA 用 token F1,LoCoMo 用 F1 与平滑 BLEU 的均值)。第 2 步:按公式 (2) 计算相对优势;全组同分($\sigma_q\le\epsilon$)的组默认保留,因为它们仍显示哪些行为一贯失败或成功。第 3 步:批评家读入全部执行,输出公式 (3) 的 $\mathcal{C}^q$(每相关智能体-技能对至多一条信用)、$\mathcal{B}^q$(智能体级反馈与归纳证据)和 $\mathcal{D}^q$(结构化诊断 $d=(i,k,z,L^-,L^+,e,\Delta,a)$)。第 4 步:引用校验——失败引用须指向非满分执行、成功对照须指向满分执行、refine 动作要求被引用技能确实出现在该执行的技能轨迹中,违规诊断退回重写一次。第 5 步:跨问题聚合(公式 4、5)——已有技能合成编辑方向 $\Gamma_i^k$,归纳模式 $p=(i,z,k,a)$ 按「支持它的不同问题数」$w(p)$ 排序。第 6 步:技能演化(公式 6)——按调度 $\Omega$ 应用算子(每轮精炼+归纳,每 2 轮合并,每 2–3 轮剪枝),库上限 $L=8$ 或 4。第 7 步:验证门(公式 7、8)——候选库在验证集上每题执行 $H=1$ 次取均值,仅当 $\tilde s_i^t\ge b_t-\delta$($\delta=0.03$ 或 0.02)才替换该智能体的库,逐智能体独立判定,共 $T=5$ 轮。

技术新颖性

技术新颖性有三点。其一,把「对比」用作技能层面的归因器而非优化信号:训练无关的对比方法(Training-Free GRPO、SkillCome、CANTANTE)要么把组内反馈蒸馏成整体经验文本,要么优化被对比的配置;GRSE 保持技能固定、对比行为,把结果差异定位到智能体-技能对并附引用步骤,这在 LLM 团队设定里是新的。其二,归因的可验证性设计:结构化诊断 schema 加引用约束(失败引用非满分执行、成功引用满分执行、refine 必须指向技能轨迹中实际被使用的技能)加动作一致性检查,把「批评家说了什么」变成「批评家能证明什么」——消融显示去掉结构化诊断平均掉 1.0 F1。其三,「不同问题数」加权的跨问题聚合:按支持归因的去重问题数计权,避免同一问题的 4 条重复执行被算成 4 份独立证据,统计上保守而正确。此外,它刻意复用 MASkills 的技能表示与编辑算子、只替换信用来源,使贡献归因非常干净:性能差异几乎可以完全归于信用分配机制的改进。

Each iteration (1) samples a group of team executions per question (§3.1), (2) credits agent–skill pairs by contrasting these executions and diagnoses failures in a structured form (§3.2), and (3) aggregates the credit across questions into skill edits, each kept only if it does not lower the validation score (§3.3–3.4).
Figure 1: Each iteration (1) samples a group of team executions per question (§3.1), (2) credits agent–skill pairs by contrasting these executions and diagnoses failures in a structured form (§3.2), and (3) aggregates the credit across questions into skill edits, each kept only if it does not lower the validation score (§3.3–3.4).
The perturbed seed library of the robustness experiment (§5.3). Each agent starts with three skills: one helpful skill and two harmful or irrelevant ones.
Figure 4: The perturbed seed library of the robustness experiment (§5.3). Each agent starts with three skills: one helpful skill and two harmful or irrelevant ones.

实验结果

HotpotQA(500 测试题):GRSE 以 Qwen3.8-27B 为执行者取得 83.7±0.5 F1,比 MASkills 的 80.6±0.6 高 3.1 分,距最强单模型基线 Self-Refine(84.1)仅 0.4;Gemma-4-31B 执行者下 82.8 vs 82.3(+0.5)。LoCoMo(840 测试题、四类):GRSE 在除开放域外的所有类别超过 MASkills,multi-hop 提升最大——Qwen3.8 下 F1 53.4 vs 46.7(+6.7)、BLEU +5.3;Gemma4 下 +3.2 F1、+2.8 BLEU;temporal 两执行者均全场最高(73.4 / 67.4 F1)。而 MASkills 在 Gemma4 的 temporal(−4.3 F1)和 Qwen3.8 的 multi-hop(−3.0 F1)上甚至低于空库。答案状态转移分析(Table 3)揭示收益来源健康:MASkills 打破的正确答案是 GRSE 的 2–3 倍(LoCoMo Gemma4 上 C→W 为 −6.8 vs −3.1),其「无引用证据」比例停在 22%、34 个弃答转对的题里 9 个无证据;GRSE 把该比例降到 14%、61 个转对题里仅 5 个无证据——收益来自更好的检索而非瞎猜。鲁棒性实验(Table 4/5):从植入有害技能的污染库出发,GRSE 把 5 个植入技能的效用符号全判对(help−harm 效用差 0.31),第 3 轮剪除有害弃答规则后恢复到 66.9 F1(对照「仅有用技能」66.7,即 +6.3),弃答率 9.7%→4.6%;MASkills 判错 2 个符号(差仅 0.03),反而把有害技能效用从 0.04 升到 0.12,最终 58.4(−2.2),比 GRSE 低 8.5 F1。迁移实验(Table 6):GRSE 的库跨任务迁移仍高于空库(+1.3 / +1.8 F1),域内再加 +1.9 / +1.2;MASkills 域内库反而低于其迁移库(−3.5 / −2.1)。消融(Table 10):完整 GRSE 类均 F1 54.9 最优;去结构化诊断 −1.0、$G=1$ −0.8、DAPO 过滤 −0.5(开放域 −4.1)、加类别标签因偏向占 54% 的 single-hop 使类均最低(53.0)。

HotpotQA test F1 (×100) with a greedy actor on 500 test questions.
Table 1: HotpotQA test F1 (×100) with a greedy actor on 500 test questions.
LoCoMo test results per question category: token F1 and smoothed BLEU (×100) with a greedy actor.
Table 2: LoCoMo test results per question category: token F1 and smoothed BLEU (×100) with a greedy actor.
Answer transitions from the empty to the final library.
Table 3: Answer transitions from the empty to the final library.
Repairing a perturbed skill library on LoCoMo single-hop questions (Qwen3.8 actor, 453 test questions, one run per method).
Table 4: Repairing a perturbed skill library on LoCoMo single-hop questions (Qwen3.8 actor, 453 test questions, one run per method).
Credit assigned to the planted skills of the robustness study (Figure 4).
Table 5: Credit assigned to the planted skills of the robustness study (Figure 4).
Transfer between the two multi-hop tasks (Qwen3.8 actor, test F1 ×100, mean ± SD over three runs).
Table 6: Transfer between the two multi-hop tasks (Qwen3.8 actor, test F1 ×100, mean ± SD over three runs).
Training settings, shared by GRSE and MASkills except that MASkills uses one rollout per question.
Table 8: Training settings, shared by GRSE and MASkills except that MASkills uses one rollout per question.
Final skill libraries by primary skill type.
Table 9: Final skill libraries by primary skill type.
Ablation on LoCoMo with one shared library learned on all four categories together (Qwen3.8 actor, greedy decoding, one run per setting, 842 test questions).
Table 10: Ablation on LoCoMo with one shared library learned on all four categories together (Qwen3.8 actor, greedy decoding, one run per setting, 842 test questions).
Training cost of the main-result runs (mean ± SD over three runs of five iterations; LoCoMo sums the four per-category runs).
Table 11: Training cost of the main-result runs (mean ± SD over three runs of five iterations; LoCoMo sums the four per-category runs).
Learned Skill Case A: a declined question becomes correct with cited evidence (Gemma4 actor, LoCoMo single-hop, GRSE w/o structure). The answer turn does not contain the keyword of the question; the learned skill fetches the turn that follows a matched question.
Figure 2: Learned Skill Case A: a declined question becomes correct with cited evidence (Gemma4 actor, LoCoMo single-hop, GRSE w/o structure). The answer turn does not contain the keyword of the question; the learned skill fetches the turn that follows a matched question.
Learned Skill Case B: a wrong answer becomes correct (Qwen3.8 actor, HotpotQA, GRSE w/o structure). The final Agent 1 follows the steps of its learned skills, whose headings it reproduces.
Figure 3: Learned Skill Case B: a wrong answer becomes correct (Qwen3.8 actor, HotpotQA, GRSE w/o structure). The final Agent 1 follows the steps of its learned skills, whose headings it reproduces.
Robustness Case 1: the harmful skill focused-latest-session-retrieval. The same single-hop test question is answered with the perturbed library and with the final libraries of MASkills and GRSE.
Figure 5: Robustness Case 1: the harmful skill focused-latest-session-retrieval. The same single-hop test question is answered with the perturbed library and with the final libraries of MASkills and GRSE.
Robustness Case 2: the harmful skill verbatim-evidence-guard during training. Utility is the library's running estimate of the skill's value, aggregated from critic credits.
Figure 6: Robustness Case 2: the harmful skill verbatim-evidence-guard during training. Utility is the library's running estimate of the skill's value, aggregated from critic credits.
查看结构化数据
任务指标本文基线提升
HotpotQA 多跳问答(distractor-hard,Qwen3.8-27B 执行者) 答案 token F1 ×100 83.7±0.5 MASkills 80.6±0.6;空库 80.6;最强单模型 Self-Refine 84.1 较 MASkills +3.1 F1,距单模型上界仅 0.4
HotpotQA(Gemma-4-31B-it 执行者) 答案 token F1 ×100 82.8±0.4 MASkills 82.3±0.2;空库 81.6 +0.5 F1
LoCoMo multi-hop(Qwen3.8-27B) token F1 ×100(平滑 BLEU ×100) 53.4±0.8(44.7±0.7) MASkills 46.7±1.4(39.4±0.8);空库 49.7(42.8) +6.7 F1(BLEU +5.3),为所有类别中最大增益
LoCoMo multi-hop(Gemma-4-31B) token F1 ×100 41.1±3.8 MASkills 37.9±4.5 +3.2 F1(BLEU +2.8)
LoCoMo temporal(两个执行者) token F1 ×100 73.4±2.1(Qwen3.8)/ 67.4±1.4(Gemma4) MASkills 72.8±1.3 / 61.3±2.4 +0.6 / +6.1 F1,均为该方法在同类别最高
鲁棒性:修复受污染技能库(LoCoMo single-hop,453 题) token F1 ×100(起点 60.6,弃答率 9.7%) 66.9(+6.3,弃答率降至 4.6%) MASkills 58.4(−2.2,弃答率 7.9%);「仅有用技能」参考 66.7 较 MASkills +8.5 F1,并恢复到干净库水平
技能效用符号判定(5 个植入的有用/有害技能) 符号正确数 / help−harm 效用差 5/5 正确,差 0.31 MASkills 3/5 正确,差 0.03 全部判对且区分度约 10 倍
消融:LoCoMo 四类共享库(842 题) 四类平均 F1 ×100 54.9(空库 52.0) w/o structure 53.9;G=1 54.1;DAPO filter 54.4;w/ label 53.0 完整版最优,结构化诊断贡献约 1.0 F1

局限与改进

作者承认的局限:GRSE 用训练算力换信用精度——每题执行 $G=4$ 次使训练 rollout 的 actor token 开销达 MASkills 的 3.8–4.3 倍(如 LoCoMo Qwen3.8:23.3M vs 6.1M),含验证后总开销约 1.7–3.0 倍(45.4M vs 26.6M),墙钟时间因组内并行约 1.2–1.5 倍;好在推理时不增加任何开销。实验覆盖面有限:只有两个智能体的顺序通信团队、两个问答基准、一个批评家模型;开放域(仅 52 题)上 MASkills 更好,且该小类方差很大(GRSE ±6.4 F1)。我自己的观察:(1) 引用校验只保证「引用存在且动作一致」,解释本身仍是观察性的,批评家的因果判断没有被独立验证;(2) 验证门每题只执行 $H=1$ 次且容差 $\delta$ 只有 0.02–0.03,接受/拒绝决策可能被采样噪声支配;(3) 奖励只有最终答案的 F1/BLEU,交接质量、证据精度等中间行为没有直接信号,全靠批评家的文本判断;(4) 批评家与优化器固定为 Qwen3.8-27B,而执行者之一也是 Qwen3.8,存在自评偏差风险,论文未检验。

独立分析的弱点

独立分析四个弱点。第一,批评家单点依赖:所有信用来自一个固定 LLM,它的归因错误(如误判失败类型)会系统性传导进技能库;论文用「不确定即 no-edit」兜底,但没有多批评家交叉验证或回放检验。改进方向:引入多个异构批评家投票,或对关键归因做最小干预回放(替换被指控的技能重跑该组)验证因果。第二,组大小 $G=4$ 固定:对简单问题浪费算力,对难题统计功效不足;等奖励组虽保留但没有对比。改进:按验证集难度自适应 $G$,或改进 DAPO 式动态采样——注意消融显示照搬 DAPO 过滤会在开放域掉 4.1 F1,说明等奖励组的一致性信号确实有用,需要更精细的利用方式。第三,验证门偏弱:$H=1$ 次执行加小容差的门槛在几百题的验证集上噪声不小,可能偶然保留有害更新或拒绝有益更新。改进:只在「被编辑技能相关的问题子集」上做多次执行的定向检验。第四,评测域窄:责任结构只有「检索→回答」两级,更长工具链、并行或辩论式通信中的信用分配未验证,8 类失败类型也明显偏 QA 场景,直接迁移到代码/工具任务需要重新设计。

未来方向

作者提出的方向:扩展到更大的团队、非顺序通信、更长的工具密集型任务,以及不同的批评家模型。基于其成果可延伸的方向:(1) 与参数级训练结合——技能演化收敛后,用定位到的责任智能体-技能对指导选择性 RL 微调,让信用同时驱动文本与参数两层更新;(2) 终身技能库维护——Table 5 显示效用估计能在线追踪技能价值,可发展为持续学习中的技能生命周期管理,自动修剪随分布漂移而退化的技能;(3) 把引用校验从「形式检查」升级为「因果检查」,对争议归因做反事实回放;(4) 跨团队技能迁移——Table 6 已证明库可跨任务无损迁移,可研究技能的通用性分级、去重与组合机制;(5) 与自动化失败归因文献(如 Who&When 基准)结合,用真实系统的失败日志大规模检验归因精度;(6) 人在环审核——技能是可读的自然语言,可让领域专家审查高影响编辑后再部署,这对医疗等高风险场景(作者来自 Mayo Clinic,动机应在于此)尤其有价值。

复现评估

复现条件较好。代码开源(github.com/yananma1029/GRSE-Skills);数据全部公开:HotpotQA distractor-hard(CC BY-SA 4.0,100/50/500 划分)与 LoCoMo(CC BY-NC 4.0,2/2/6 对话划分,固定 seed 42);模型全部开放权重(Qwen3.8-27B 与 Gemma-4-31B-it),用 vLLM 0.29 部署,每个模型 2 张 RTX A6000(张量并行 2、65K 上下文),没有任何重量级训练。超参数完整披露(附录 Tables 7/8):$G=4$、$T=5$、$\delta=0.03/0.02$、库上限 8/4、算子调度、训练奖励定义,以及全部角色/批评家/算子提示词(附录 Figures 7–13)。成本方面:单次训练约 2.8–23.4 小时、总 actor token 约 4.4M–45.4M,一般实验室可负担。总体难度中等偏易:主要工程量在 vLLM 服务、JSON 模式批评家调用和技能文件格式处理;需注意论文报告的是三个随机种子的均值±标准差,结果对批评家输出质量敏感,批评家较弱时归因精度和稳定性可能明显下降(作者也承认部分运行与其他任务共享服务器,时间测量是近似的)。

相似论文推荐