← 返回 2026-10-16

JevAgentHarness:对与 LLM 共享控制权的决策模型进行基准测试、部署与训练 JevAgentHarness: Benchmarking, Deploying and Training Decision Models That Share Control with LLMs

Kunlun Zhu, Tao Feng, Xu Han, Heng Wang, Ling Yang, Xiangru Tang, Jiaxuan You, Heng Ji 📅 2026-10-15 👍 22 2026-11-11 18:30
LLM Agent 决策模型 参数高效微调 成本与延迟优化 智能体评测 置信度级联

用智能体自身状态训练的小决策模型按置信度接管常规选择,成本降 81–89% 而成功率不降。

前置知识

Agent Harness(智能体执行框架)

围绕 LLM 的程序外壳,负责把工具暴露给模型、维护上下文与记忆、解析并执行模型输出、决定何时停止,典型如 Claude Code、Codex CLI、OpenHands。它把「模型说什么」翻译成「agent 做什么」,每一步都形成「观察→决策→行动→新观察」的循环,并在循环内分支处做出大量小选择。

本文的全部委托、守卫、触发都定义在 harness 的循环结构上;所谓「决策点」就是 harness 代码里的分支,理解 harness 才能理解决策模型能插在哪里。

决策模型(Decision Model,System 1)

一类不做自由文本生成的小模型:输入状态、一个问题和选项列表,一次前向即返回每个选项的概率及置信度,例如专有的 JEV 与开源的 Intern-Decision、StartLux-Decision。一次调用约为一次 LLM 调用的 28% 时间与 2.6% 价格,中位延迟 31–223ms。

它是论文的主角:被三级评测检验、被 JevAgentHarness 部署、也被当作教师来蒸馏出 AgentDecision-4B。

置信度级联与阈值委托

小模型先作答,若其置信度 $c(s)$ 超过阈值 $\tau$ 就采纳,否则回退大模型。论文证明校准假设下最优阈值为 $\tau^\star = \max(0, q_L - \Delta C / V)$,由大模型正确率 $q_L$、省下的调用费 $\Delta C$ 与错误代价 $V$ 共同决定。

CASCADE 是 JevAgentHarness 的核心模式;阈值按决策点逐个拟合还是全局固定,直接决定是省钱还是丢掉 21.5 分成功率。

非劣效性检验(non-inferiority test)

证明新方案不比对照差超过预设边际 $m$ 的单侧统计检验。本文用配对二分类端点、基于 Tango 精确得分检验,边际为 3 分(τ²-bench 上 5 分),并用 Holm 方法控制 11+4 个预注册检验的家族错误率。

论文所有「安全且更省」的结论都以非劣效 p 值为判据,不熟悉它就无法读懂 Table 24/27 中每个测试的通过与否。

LoRA SFT 与 GRPO

LoRA 是在所有线性层上加低秩矩阵的参数高效微调(本文 $r=32$、2 epochs、lr $10^{-4}$);GRPO 对每个任务采一组 $G=8$ 个 episode,用组内奖励归一化的相对优势做策略梯度并加 KL 惩罚。

AgentDecision-4B 的配方就是先在 agent 状态上做 LoRA SFT、再叠 GRPO;论文的消融显示 SFT 贡献几乎全部增益而 GRPO 无可测增益,这是重要结论。

DAgger 与错误后状态(off-plan states)

模仿学习中的 DAgger 思想:让脚本策略故意复现已见过的错误,把学习器自己会走到的「错误之后的状态」纳入训练分布。本文用 near-miss 注入错误等手法,使 30.9% 的训练状态(15,694 个中的约 4,850 个)来自偏离标准计划后的恢复局面。

这是「在 agent 自身状态上训练」能产生质变的关键:现成决策模型恰恰在这种状态上大面积失手(must-ask 状态上 JEV 只有 58.3% 正确)。

研究动机

LLM 智能体已经能修软件、操作电脑、当客服,但代价高昂:主流 harness(Claude Code、Codex、OpenHands 等)在长任务的每一步都调用大模型,一次公共排行榜的完整评估约花费 40,000 美元。作者指出一个被忽视的结构性事实——这些调用的绝大多数最终只是一道多项选择题:客服场景里是「查订单、取消订单还是反问客户」,编码场景里是「下一步调哪个工具、参数填什么、是否停止」。与此同时,JEV 这类决策模型(及 Intern-Decision、StartLux-Decision 等开源同类)专门回答这类问题:给定状态、问题和选项,一次前向返回每个选项的概率,一次调用只占一次 LLM 调用约 28% 的时间和 2.6% 的价格。问题在于,这些决策模型都是在固定题集上构建和测试的,把它们放进一个正在运行的 agent 循环后是否仍然可靠从未被检验:agent 里一次错误选择会改变后续所有状态、错误会级联,而且 agent 会走进自己犯错之后的状态——这种状态在固定题集里几乎不存在。孤立题集上的高分能否预测 agent 内的真实表现,是完全未知的问题。

本文的目标是论文想回答一个部署导向的问题:harness 能否把常规选择题委托给快速、便宜的决策模型——当它可靠时交给它、拿不准时交回 LLM——从而让 agentic 任务更快、更便宜而几乎不损失成功率?为此作者交付三件东西。第一,能检验决策模型「进不进得了 agent」的基准 AgentDecisionBench,从孤立问题(L1)、记录轨迹的逐步评分(L2)到接管运行中的 agent(L3)逐级逼近真实使用,且每个调用都被计价计时。第二,不改代码即可插进现有 harness 的委托层 JevAgentHarness:把每个常规选择变成 typed 多项选择题,只在决策模型置信度超过按该 agent 自身轨迹拟合的阈值时才采纳其答案,并提供 REPLACE/CASCADE/ASSIST/GUARD/TRIGGER 五种集成模式。第三,开源的 4B 决策模型 AgentDecision-4B,在 agent 实际访问的状态(包括犯错后的状态)上以 JEV 答案为标签做后训练。成功判据被预注册为非劣效:任务成功率损失不超过 3 分(τ²-bench 上 5 分)的前提下成本显著下降。

与已有工作不同的是,本文的切入角度与已有工作有三处不同。第一,测量层面的空白:路由器与级联(FrugalGPT、RouteLLM 等)把工作从大模型挪走时都在固定问题上评估,agent 基准又只报告整任务成败,没人量化「孤立分数」与「agent 内表现」的落差——本文用三级评测首次直接测出这个相关性:5 个预指定模型的孤立分数与任务级成功率的 Kendall 秩相关仅 −0.200,扩大到 18 个模型后孤立分数对任务成功的秩相关只有 0.13,而步级准确率达到 0.84。第二,委托规则的粒度:REFLEX 等用单一全局阈值,本文按「哪个决策点」逐点拟合阈值,并给出理论最优值 $\tau^\star_d = \max(0, q_L - \Delta C/V)$——决策模型允许比 LLM 略差,只要省下的调用费覆盖多出的错误风险。第三,训练数据来源:现成决策模型学的是固定问题或成功示范,而 agent 循环会走到错误之后的状态;本文用 DAgger 式脚本注入错误,让 30.9% 的训练状态来自 off-plan 局面,这是把 System 1 真正接入某个具体 agent 的关键一步。

核心方法

直觉上是 Kahneman「快与慢思考」的工程化:LLM 是慢而贵的 System 2,决策模型是快而便宜的 System 1;harness 知道每步的候选清单,因此能决定每道选择题交给谁。技术路线分三块。其一,基准:AgentDecisionBench 分三级——L1 把 BFCL v4 等约 4,000 个静态项变成孤立选择题;L2 在 200 个新 DecisionGym 任务的 5,314 个公共状态上逐步评分但不执行;L3 让决策模型接管运行中的 agent 做每次工具选择,错误真实传播。为此作者构建 DecisionGym:模拟小商店客服,68 个工具、模板生成请求、每个可达状态可派生答案键。其二,harness:JevAgentHarness 定义 8 个决策点 × 5 种模式共 40 种组合,以 YAML 声明,经 hook 适配 mini-SWE-agent、pi、Codex CLI 等。其三,模型:在 Qwen3-4B 上做 LoRA SFT + GRPO,数据是 587 个训练任务中 harness 实际访问的 15,694 个状态,评测遵循预注册两阶段协议。

核心创新是「逐决策点的、在自身轨迹上校准的委托」,与已有工作的本质区别有三。第一,委托准则的形式化:若决策模型校准(置信度即正确率),把选择交给它当且仅当 $c(s) \ge \tau^\star_d$,其中 $\tau^\star_d = \max(0, q_L - \Delta C / V)$,$q_L$ 是 LLM 在该类选择上的正确率、$\Delta C$ 是省下的调用费、$V$ 是错误选择的代价。这意味着决策模型允许比 LLM 略差,只要省钱覆盖风险——固定阈值没有这个概念:实验中固定 0.5 丢 21.5 分,按此式拟合的阈值丢 0 分还省 14.2%。第二,训练分布的选择:不在固定题集上蒸馏,而是在「这个 agent 会走到的状态」上训练,并注入错误覆盖恢复状态;仅 SFT 就把 Qwen3-4B 移位任务的步级准确率从 52.9% 拉到 98.4%、must-ask 从 27.6% 到 95.0%。第三,统计纪律:Stage 1 十一个测试、Stage 2 四个测试全部预注册并用 Holm 校正,组合由事先固定的规则选出,让「哪些委托被证明安全」可核查。

方法步骤详情

方法分六步。第一步定义接口:8 个决策点(工具、参数、记忆、反思、停止、路由、动作)各有可枚举选项,并按五种集成模式接入(全权、自信才采纳、短名单、审批、触发)。第二步拟合阈值:在 150 个校准任务上让模型对每步默默作答,从 LLM-only 轨迹估计 $q_L$、$\Delta C$、$V$,按置信度分箱取合格最低置信度 $\hat{\tau}^\star$(JEV+Flash 拟合出工具 1.00、参数 0.99)。第三步构造 typed 问题:工具调用拆成工具选择与逐参数选择,自由文本留给 LLM。第四步做适配器:接入 mini-SWE-agent、pi、Codex CLI 与 Claude Code,故障时按原样运行。第五步训练 AgentDecision-4B:在 587 个任务的 15,694 个访问状态(30.9% 为错误后状态)上做 LoRA SFT,标签以 0.3 权重混合 gold 与教师概率,交叉熵加 Brier 校准项;再以 $G=8$ 的 GRPO 续训。第六步评估:Stage 1 逐个检验委托,Stage 2 在 500 个新任务上验证组合。

技术新颖性

技术新颖性可从四个层面看。测量层面:三级评测本身是贡献,把「孤立准确率会误导部署决策」变成可复现的量化结论——孤立与任务级排名的 Kendall 秩相关为 −0.200 乃至 0.13,步级准确率则达 0.84,直接指明「该测什么」。理论层面:命题 1 给出校准假设下最优阈值的闭式解,并说明过自信模型需抬高阈值 $\xi$;命题 2 给出守卫/触发器期望增益 $\Delta U = n(B_M+H_M)\pi(1-\pi)J - \kappa$ 只随分辨率 $J$ 增长,解释了守卫类模式为何普遍不省钱。系统层面:把 40 种「决策点 × 模式」组合放在统一成本账本下比较,经 hook 适配五个真实 harness,是首个对委托设计空间的系统性测绘。训练层面:消融干净地分离了各成分——SFT 只花 2.2 GPU 时就贡献几乎全部增益,GRPO 再加 4.5 GPU 时无可测增益(无 SFT 时甚至把移位任务成功率从 13.5% 拉低到 11.5%);公开工具数据把孤立准确率从 78.8% 提到 85.1% 却把移位任务成功率从 96.0% 降到 91.5%,这些负结果同样有参考价值。

Overview of our pipeline: Stage 1 tests each kind of choice alone, and Stage 2 tests the passing delegations together on new tasks.
Figure 2: Overview of our pipeline: Stage 1 tests each kind of choice alone, and Stage 2 tests the passing delegations together on new tasks.
A decision model can act at eight points of the agent loop, in five modes.
Figure 3: A decision model can act at eight points of the agent loop, in five modes.
In one recorded trajectory on a new DecisionGym task, the decision model answered only when it was confident.
Figure 6: In one recorded trajectory on a new DecisionGym task, the decision model answered only when it was confident.
Each harness branch over a computable option set becomes a typed question to a fast decision model, whose answer decides when and how the LLM is called.
Figure 7: Each harness branch over a computable option set becomes a typed question to a fast decision model, whose answer decides when and how the LLM is called.
Architecture of JevAgentHarness: typed questions from the reference loop or harness hooks go to a per-point combination (mode, threshold, backend); one ledger meters every call.
Figure 8: Architecture of JevAgentHarness: typed questions from the reference loop or harness hooks go to a per-point combination (mode, threshold, backend); one ledger meters every call.
Post-training AgentDecision-4B V1: SFT followed by GRPO, with OPD tested and dropped by its development gate.
Figure 9: Post-training AgentDecision-4B V1: SFT followed by GRPO, with OPD tested and dropped by its development gate.

实验结果

核心发现:RQ1(孤立分数误排)StartLux-9B 孤立最准(92.2%)却只解出 69.5% 任务;AgentDecision-4B 孤立仅 89.3%,任务级却达 91.5%(JEV 82.0%);差距集中在必须先问的状态(4B 67.4%,JEV 58.3%)。RQ2(阈值保护成功)CASCADE 接下 27.2%/20.8% 的工具与参数选择,省 14.2% 成本、500 任务无一改变;REPLACE 丢 19.0 分、固定阈值丢 21.5 分。RQ3(部署收益)500 新任务上成功 100.0%(LLM-only 99.4%)且省 81.1%;自托管时便宜 86.3%、快 2.5 倍;ALFWorld 上 4B 便宜 89.0% 且成功率 90.7%→95.0%;编码 agent 仅省 7–10.5%。RQ4(自身状态训练)SFT 把移位任务步级准确率 52.9%→98.4%、任务级 13.5%→96.0%。失败模式:JEV 的 34 个失败全始于不可逆错误选择;Hard 新规则上未重训 4B 崩到 3.0%,重拟合再训后恢复;τ² 迁移未获证明。

Delegating choices to a decision model in harder settings: task success, cost saved and time for harder DecisionGym tasks, coding agents and ALFWorld.
Table 1: Delegating choices to a decision model in harder settings: task success, cost saved and time for harder DecisionGym tasks, coding agents and ALFWorld.
What each part of JevAgentHarness contributes: change in success and cost/time saved vs the LLM alone.
Table 2: What each part of JevAgentHarness contributes: change in success and cost/time saved vs the LLM alone.
Training on the agent's own states made a 4B model accurate, even on shifted tasks.
Table 3: Training on the agent's own states made a 4B model accurate, even on shifted tasks.
Implemented pairs of decision point and mode (8 decision points × 5 modes, ✓ marks Stage-1 configurations).
Table 4: Implemented pairs of decision point and mode (8 decision points × 5 modes, ✓ marks Stage-1 configurations).
Suites of AgentDecisionBench: size × attempts for L1 static items, L2 recorded states, L3 live tasks and fresh Stage-2 suites.
Table 5: Suites of AgentDecisionBench: size × attempts for L1 static items, L2 recorded states, L3 live tasks and fresh Stage-2 suites.
Error rates of the JEV guards on DecisionGym probes: FAR/FRR with 95% CIs for stop and tool guards.
Table 7: Error rates of the JEV guards on DecisionGym probes: FAR/FRR with 95% CIs for stop and tool guards.
Tool-choice accuracy on the common states and on hard subsets (all states, hard union, after off-plan, must-ask next, Flash states).
Table 8: Tool-choice accuracy on the common states and on hard subsets (all states, hard union, after off-plan, must-ask next, Flash states).
Every registered test: Stage 1 (11 tests) and Stage 2 (4 primary + 6 secondary), with effects, CIs, Holm-adjusted p and outcomes.
Table 24: Every registered test: Stage 1 (11 tests) and Stage 2 (4 primary + 6 secondary), with effects, CIs, Holm-adjusted p and outcomes.
L1 results: accuracy, ECE, AUROC, p50 latency and $ per 1k decisions for LLMs, typed decision models and retrieval controls.
Table 26: L1 results: accuracy, ECE, AUROC, p50 latency and $ per 1k decisions for LLMs, typed decision models and retrieval controls.
Evaluation levels: tool-choice accuracy on isolated BFCL questions, common states, own states, and task-level success with per-episode API cost.
Table 31: Evaluation levels: tool-choice accuracy on isolated BFCL questions, common states, own states, and task-level success with per-episode API cost.
Isolated scores do not rank decision models for agents.
Figure 4: Isolated scores do not rank decision models for agents.
Delegating tool and argument choices in a cascade saved cost without losing success (8 decision points × 5 modes map).
Figure 5: Delegating tool and argument choices in a cascade saved cost without losing success (8 decision points × 5 modes map).
AgentDecision-4B took every tool choice of this DecisionGym task, and the LLM only wrote free text and set one argument below its threshold.
Figure 11: AgentDecision-4B took every tool choice of this DecisionGym task, and the LLM only wrote free text and set one argument below its threshold.
On ALFWorld the trained 4B model took every action and solved the game without the LLM.
Figure 13: On ALFWorld the trained 4B model took every action and solved the game without the LLM.
查看结构化数据
任务指标本文基线提升
DECISIONGYM 500 个新任务(Stage 2 组合:工具/参数级联 + 反思触发,AgentDecision-4B 作决策模型) 任务成功率 / 成本节省 100.0%,成本省 81.1% LLM-only(Gemini 3.5 Flash)99.4% 成功率 +0.6 分且非劣效成立,成本省 81.1%
DECISIONGYM 部署形态(AgentDecision-4B + 自己 GPU,500 新任务) 成本节省 / 加速比 便宜 86.3%、快 2.5 倍;单答案中位 31ms LLM-only Flash(单次调用 809ms) 成本 −86.3%、时间 −60.3%,无 3 分以上损失
ALFWorld valid_seen 140 局(动作级联,4B 在其自身状态上 SFT) 任务成功率 / 成本 95.0%,省 89.0% Flash alone 90.7% +4.3 分,成本省 89.0%(unseen rooms 89.6% vs 88.8%,省 92.0%)
移位 DECISIONGYM(工具改名 + 措辞重写 + 129 选项) 任务级成功率 AgentDecision-4B 91.5%(SFT+GRPO 版 96.0%) JEV 82.0%;未训练 Qwen3-4B 13.5% 对 JEV +9.5 分,对未训练基线 +78 分以上
BFCL v4 工具选择(L1 孤立问题) 孤立准确率 StartLux-9B 最高 92.2% AgentDecision-4B 89.3% 但任务级反转:StartLux-9B 仅 69.5% vs AgentDecision-4B 91.5%,孤立分数误排 22 分
pi + Terminal-Bench 2.0(JEV 强/快路由) 成功率 / 成本 50.6%,省 9.6% Flash alone 42.7% +7.9 分,成本省 9.6%(非劣效在 3 分边际内成立)
mini-SWE-agent + SWE-bench Verified(强/快路由) 解决率 / 成本 DeepSeek 路由 76.3%;Gemini 3.8 Flash 路由 75.0% 强模型 alone 77.3% / 70.0% 成本省 10.5% / 7.0%,非劣效未确立

局限与改进

作者坦承的限制:任务与提示几乎全是英文,agent LLM 主要是 Gemini 系列;主检验是非劣效检验(3 分边际),证明「完全无损失」需等效检验;阈值与模型绑定特定 agent 的轨迹,换 agent、工具或任务族都要重新拟合甚至重训(τ²-bench 迁移未获证明);编码 agent 动作是自由文本,决策模型只能选哪档 LLM 写这一步,节省压缩到 7.0–10.5%;未与 RouteLLM 等学习型路由器同任务对比;GRPO 无可测增益;未测试对抗观察或提示注入(已知能翻转 typed 答案)。我的补充观察:DecisionGym 由模板生成,按「任务族+已执行工具」查表的模板基线就达 85.2% 公共状态准确率,训练模型 in-domain 高分部分反映生成器约定;LLM-only 在标准 DecisionGym 成功率高达 99.4%,迫使主结论依赖额外构造的 Hard/Shifted 设置;成本节省对 GPU 计费敏感(共享 82.1% vs 专用 76.3%);Flash-Lite 停止守卫放行 40.7% 错误终止尝试,安全关键路径不能只靠决策模型守卫。

独立分析的弱点

独立分析后有五个弱点。第一,表面记忆风险:0.8B 评分头在改名移位任务上从约 99% 掉到 17.5%,恢复原名后又能答对同一批状态的 95.1%,说明它学到的主要是生成器命名约定而非决策;4B 虽稳(移位后 94.0%),但在全新计划形状上仍落后 11.5 分。改进:不变性增强、跨生成器混合训练。第二,不可逆动作上的自信错误:JEV 该问不问时以 0.98 置信度直接退款,Flash-Lite 停止守卫还放行 40.7% 的错误终止尝试;改进:状态变更强制 LLM 复核,或用 conformal risk control 给保证。第三,维护成本:Hard 新规则曾把未重训模型的任务成功率打到 3.0%,恢复需重拟合阈值并追加 SFT;改进:覆盖率监控自动触发重拟合。第四,RL 无增益:GRPO 多花 4.5 GPU 时与 26.53 美元无可测收益,75% 的任务组八集奖励全同;改进:更细粒度步骤奖励。第五,自由文本场景收益有限:编码 agent 只能做路由,决策模型几乎分不清「只读」与「会写」步骤(AUROC 0.56–0.70);改进:把编辑决策结构化到文件/函数粒度。

未来方向

作者明确提出的方向:部署中跟踪「置信度超过阈值的答案占比」来发现任务漂移并及时重拟合阈值;用 conformal prediction 或有限样本风险控制替代当前 plug-in 阈值;把评测扩展到其他语言与其他 agent LLM;覆盖决策模型角色表中尚未触及的位置——重试与回溯、子 agent 调度与规划、上下文压缩、并行批处理;以及与学习型路由器在同一成本账本下公平对比。基于论文成果可以自然延伸的方向:其一,主动学习闭环——把低置信或被 LLM 否决的状态回流为标注数据,让 AgentDecision-4B 持续适配具体部署;其二,把「逐决策点拟合阈值」推广为在线贝叶斯更新,处理价格与 LLM 正确率随时间的漂移;其三,安全体系设计——论文显示守卫的 FAR/FRR 都不理想,值得研究决策模型守卫与确定性策略引擎、人工审批的分层组合,明确决策层只是成本/速度控制而非安全边界;其四,把配方迁移到多 agent 编排与计算机使用类 agent(OSWorld 一类环境),那里有更多可枚举的元级决策;其五,理论侧把命题 1/2 扩展到错误在步骤间相关、代价非加法的情形。

复现评估

可复现性总体很好。作者承诺发布基准代码与配置、JevAgentHarness 及全部适配器、后训练配方、种子和评测代码;权重与数据按上游条款发布——从 JEV 或 Gemini 输出衍生的权重取决于提供者条款,StartLux 为 CC BY-NC 4.0,Unsloth 代码为 AGPL-3.0。算力门槛低:所有训练都在单张 48GB GPU 完成,SFT 2.2 GPU 时、GRPO 4.5 GPU 时,AgentDecision-4B V1 训练加校准共 192.93 美元,按部署节省约 5,759 个 episode 回本;整项研究 API 总支出 2,383.27 美元。DecisionGym 全由模板生成、种子严格分离,复现数据成本几乎为零。需要注意的坑:JEV 是闭源 API,复现教师相关数字需付费且价格会漂移;大量结论基于每任务单次运行、温度 0,缺多种子方差;作者还披露一次暴露事件(训练者在结果封锁前看过一条 Stage-1 轨迹首记录),建议把相关两个 Stage-2 测试按探索性对待。对有单卡和少量 API 预算的团队,复现核心结论属中等偏低难度。

相似论文推荐