Paper: 2609.05395 Authors: Dain Kim, Eungi Cho, Kyumin Kim, Shinyeong Noh, Kyuseong Lim Categories: cs.AI, cs.CL

The Gap

Data-sovereignty regulations are pushing public institutions toward a specific deployment shape: open-source, on-premise LLM agents that chain multiple tool-calls across live government APIs. The constraint is regulatory rather than technical — the data cannot leave — and it removes the option of calling a frontier model through an API.

That creates a gap with two halves. Open-source models consistently underperform in this multi-step setting — and no existing benchmark measures the gap, because the setting itself is unusual: real government APIs, real institutional tasks, on-premise constraints. So institutions face a deployment requirement, a known capability shortfall, and no measurement instrument for either.

   THE DEPLOYMENT SHAPE REGULATION FORCES

   DATA-SOVEREIGNTY REGULATIONS
     -> public institutions must deploy OPEN-SOURCE,
        ON-PREMISE LLM agents
     -> that CHAIN MULTIPLE TOOL-CALLS across LIVE
        GOVERNMENT APIs
        |
        v
   the constraint is REGULATORY, not technical:
     the data cannot leave
     -> calling a frontier model through an API is NOT AN OPTION
        |
        v
   [A GAP WITH TWO HALVES]
     [1] open-source models CONSISTENTLY UNDERPERFORM in this
         multi-step setting
     [2] NO EXISTING BENCHMARK measures the gap, because the
         setting is unusual: real government APIs, real
         institutional tasks, on-premise constraints
        |
        v
   -> institutions face a deployment requirement, a known
      capability shortfall, and NO INSTRUMENT for either

The Increment

One sentence: Before this paper, institutions had a regulatory mandate, an unmeasured capability gap, and no way to close it; after it, a 145-task benchmark and a synthesis recipe driven by live API execution let a 9B model nearly match an untuned 27B.

Core Mechanism

The benchmark comes first because the gap had to be measurable. KOPA-Bench comprises 145 real-world tasks over Korean open public APIs — real tasks against real government endpoints, which is what makes it a measure of the deployment setting rather than a proxy for it.

The synthesis method is the paper’s technical contribution, and its central idea is that verification should come from execution, not from plausibility. EDGE — an Execution-grounded Dynamic Graph for tool-calling data synthesis — works in three steps:

  • Build a graph of how each tool’s output can feed another’s input. This is the candidate structure: which calls are compositionally compatible, derived from the APIs’ shapes. Many such links will not work in practice, and at this stage you cannot tell which.
  • Keep only the links that succeed when actually called against the live APIs. This is the decisive step. Rather than asking a model whether a chain looks plausible, EDGE executes it and discards the failures. The result is a graph whose edges are empirically verified rather than hypothesised.
  • Traverse these verified links to synthesize executable multi-step trajectories. Because the edges are verified, the synthesised trajectories are executable by construction — which is the property that makes them useful as training data.

That ordering is the methodological point: verified edges first, trajectories second. Synthesising trajectories first and filtering them afterwards would waste generation on chains that could never run and would leave the filter as the quality bottleneck; deriving from a verified graph means every trajectory has a working path through it.

Then the result that connects the recipe to the institutional problem. Fine-tuned with GRPO on the resulting dataset, the authors’ 9B model nearly matches the untuned 27B model from the same family, improving substantially not only on KOPA-Bench but also on BFCL.

Two things about that claim matter. The comparison is against a same-family model three times larger, so the gain is attributable to the data rather than to a different architecture or training lineage — which is the right control. And the transfer to BFCL, a separate function-calling benchmark, is evidence the model learned something about tool-calling generally rather than fitting the 145 tasks. A recipe that only improved the benchmark it was built from would not justify the execution cost.

   [1] THE MEASUREMENT: KOPA-BENCH
         145 real-world tasks over Korean open public APIs
         <- real tasks against REAL GOVERNMENT ENDPOINTS
         -> measures the DEPLOYMENT SETTING, not a proxy

   [2] THE RECIPE: EDGE = Execution-grounded Dynamic Graph
       Central idea: VERIFICATION SHOULD COME FROM EXECUTION,
       NOT FROM PLAUSIBILITY

         (a) BUILD a graph of how each tool's output can feed
             another's input
               <- the CANDIDATE structure, from API shapes
               <- many such links will NOT work in practice,
                  and at this stage you cannot tell which

         (b) KEEP ONLY THE LINKS THAT SUCCEED when actually
             CALLED AGAINST THE LIVE APIs
               <- the DECISIVE step
               <- rather than asking a model whether a chain
                  LOOKS plausible, EDGE EXECUTES it
               -> edges are EMPIRICALLY VERIFIED, not hypothesised

         (c) TRAVERSE the verified links to synthesize
             EXECUTABLE multi-step trajectories
               -> executable BY CONSTRUCTION

       ORDERING IS THE METHODOLOGICAL POINT:
         verified edges FIRST, trajectories SECOND
         <- synthesising first and filtering after would waste
            generation on chains that could never run, and leave
            the filter as the quality bottleneck

   [3] THE RESULT
         GRPO fine-tuning on the resulting dataset
         -> a 9B model NEARLY MATCHES the UNTUNED 27B model
            FROM THE SAME FAMILY
         -> substantial improvement NOT ONLY on KOPA-Bench
            BUT ALSO on BFCL

       WHY THAT CLAIM MATTERS
         - compared against a SAME-FAMILY model 3x larger:
           the gain is attributable to the DATA, not to a
           different architecture or training lineage
         - transfer to BFCL (a separate function-calling
           benchmark) shows it learned TOOL-CALLING GENERALLY,
           not the 145 tasks
         <- a recipe that only improved its own benchmark would
            not justify the execution cost

Think of it as learning a city’s transit system by actually riding it, rather than by reading the map. The map tells you which lines appear to connect: two routes share a station name, so the transfer looks possible. But whether the connection works — whether the platforms are actually linked, whether the timing allows it — you learn only by trying. If you first write out a hundred itineraries from the map and then discover most are impossible, you have wasted the effort. Build the verified connections first, by riding them, and every itinerary you compose from those edges is one that can actually be travelled. That is the same argument as EDGE’s, and it also explains the transfer: what the model learned was the structure of working connections, not the plausibility of a particular set of trips.

Key Concepts

  • An institutional benchmark rather than a proxy: 145 tasks over real government APIs. Measuring the actual deployment setting is what makes the gap actionable for institutions facing the same mandate.
  • Execution-grounded verification: keeping only tool links that succeed when called live. It replaces “does this chain look plausible” with “does this chain run”, which is the difference between a model’s prior and a fact.
  • Edges before trajectories: deriving trajectories from a verified graph rather than filtering synthesised ones. It puts verification upstream of generation, where it is cheap, instead of downstream, where it is the bottleneck.
  • Same-family size control: comparing a fine-tuned 9B against an untuned 27B of the same family. It isolates the data as the cause of the improvement.
  • Transfer as the justification for cost: substantial gains on BFCL, a separate function-calling benchmark. Without it, the execution overhead would only have bought a better score on the benchmark the recipe was designed around.

Framework Shift

Before (regulatory mandate, unmeasured gap):
  on-premise open-source agents must chain calls across
  live government APIs
  -> open models consistently underperform
  -> no benchmark for the setting
  -> no way to tell where the shortfall is or how to close it

After (measured, with an execution-grounded recipe):
  KOPA-Bench: 145 real-world tasks over live public APIs
  EDGE: candidate graph -> keep only links verified by LIVE
        execution -> traverse to synthesise executable trajectories
  GRPO fine-tuning: 9B nearly matches untuned 27B, and
        improves on BFCL too

From a mandated deployment with a known shortfall and no instrument, to a benchmark for the setting plus a recipe whose verification comes from execution, the core shift is that synthetic data quality depends on checking composition against the real system rather than on judging it by appearance.

Expert Assessment

Problem choice: Excellent, and it takes a constraint seriously rather than treating it as a nuisance. Data sovereignty is not a temporary inconvenience; it is producing a class of deployments where frontier API access is unavailable by law, and the field has been slow to build benchmarks for the settings regulation actually creates.

Method maturity: EDGE’s central choice — verify by execution and derive trajectories from the verified graph — is the right way round, and it deserves emphasis because the naive ordering (synthesise, then filter) is the obvious one and is worse for a reason the paper makes clear. The comparison against a same-family 27B is a well-chosen control, and the BFCL transfer is the check that distinguishes a general capability gain from benchmark fitting. The scope limits are that the benchmark is Korean and government-API-specific, so its transferability to other jurisdictions and API families is untested, and the execution cost of building the graph is not quantified despite being the recipe’s main expense.

Experimental integrity: The three-way evidence structure — a new benchmark showing the gap, a recipe, and a fine-tune showing the gap closing — covers the claim from measurement to remedy. Transfer to an external benchmark is the strongest element because it is the check that could have failed: had BFCL shown nothing, the result would have looked like overfitting to 145 tasks. The main gap is reporting: since verification-by-execution is the expensive part, a reader deciding whether to adopt EDGE needs to know the call volume required per usable trajectory.

Writing quality: The abstract separates the benchmark, the recipe and the result cleanly, and it names the ordering of EDGE’s steps in the order they matter. Because the practical decision is whether to spend the execution budget, a short statement of the yield — how many calls or how many candidate links per usable trajectory — would make the recipe adoptable rather than only convincing.

Verdict: strong accept — it measures a deployment setting that regulation is creating, and supplies a data-synthesis recipe whose defining move is verifying composition against the live system rather than judging it by appearance.

Takeaways

  • Verify composition against the real system, not against plausibility. Whether two tools chain is a fact about the deployment, and only execution establishes it.
  • Build the verified structure before generating from it. Deriving trajectories from a verified graph is cheaper than filtering synthesised ones, because it puts verification upstream.
  • Compare against a larger model from the same family. Same-lineage controls isolate the data as the cause rather than confounding it with architecture.
  • Confirm the gain transfers to an external benchmark. Without that check, a synthesis recipe may only be fitting the tasks it was designed around.

论文: 2609.05395 作者: Dain Kim, Eungi Cho, Kyumin Kim, Shinyeong Noh, Kyuseong Lim 分类: cs.AI, cs.CL

缺口

数据主权法规正在把公共机构推向一种特定的部署形态:开源、本地部署的大模型智能体,去串联实时政务 API 上的多次工具调用。 这个约束是监管性的、不是技术性的——数据不能出去——而它取消了”通过 API 调用前沿模型”这个选项。

由此产生一个分两半的缺口。开源模型在这类多步场景里一致地表现不佳——而现有基准没有测量这个差距,因为这个场景本身就不寻常:真实的政务 API、真实的机构任务、本地部署约束。于是机构面对的是一项部署要求、一个已知的能力短板,以及两者都没有测量仪器

   监管所迫的部署形态

   「数据主权」法规
     -> 公共机构必须部署「开源、本地」的 LLM 智能体
     -> 去「串联实时政务 API 上的多次工具调用」
        |
        v
   这个约束是「监管性」的、不是技术性的:
     数据不能出去
     -> 通过 API 调用前沿模型「不是一个选项」
        |
        v
   [分两半的缺口]
     [1] 开源模型在这类多步场景里「一致地表现不佳」
     [2] 「没有」现有基准测量这个差距,因为该场景不寻常:
         真实政务 API、真实机构任务、本地部署约束
        |
        v
   -> 机构面对的是一项部署要求、一个已知能力短板,
      以及「两者都没有仪器」

增量

一句话: 在这篇论文之前,机构手里是一项监管要求、一个未被测量的能力缺口、以及没有办法补上它;在这篇论文之后,一个 145 题基准与一套由”真实 API 执行”驱动的数据合成配方,让 9B 模型几乎追平未调优的 27B。

核心机制

基准放在最前面,因为缺口必须先能被测量。KOPA-Bench 包含 145 个真实任务,跑在韩国开放政务 API 之上——真实任务、对着真实政务端点,这才使它测量的是部署场景本身,而不是它的代理。

合成方法才是论文的技术贡献,而其核心想法是:验证应当来自执行,而不是来自”看起来合理”。 EDGE——一个由执行锚定的工具调用数据合成动态图(Execution-grounded Dynamic Graph)——分三步:

  • 先构建一张图:每个工具的输出如何能喂给另一个工具的输入。 这是候选结构:由 API 的形态推导出哪些调用在组合上是相容的。其中许多链接在实践中根本不能用,而在这个阶段你分不出哪些。
  • 只保留”对着实时 API 真正调用时确实成功”的链接。 这是决定性的一步。EDGE 不去问一个模型”这条链看起来合理吗”,而是执行它,并丢弃失败者。结果是一张边被经验验证、而不是被假设出来的图。
  • 遍历这些已验证的链接,合成可执行的多步轨迹。 因为边是验证过的,合成出的轨迹在构造上就可执行——而这正是它们能用作训练数据的性质。

这个顺序才是方法学要点:先验证边,再要轨迹。 先合成再筛掉的做法,会把生成浪费在永远跑不通的链上,并把”筛选”变成质量瓶颈;而从一张已验证的图导出,意味着每条轨迹都有一条真的走得通的路径。

接着是把配方连接到机构问题的那个结果。用 GRPO 在由此得到的数据集上微调后,作者的 9B 模型几乎追平了同家族未调优的 27B,而且不仅在 KOPA-Bench 上、在 BFCL 上也有实质提升。

关于这个主张,有两点要紧。 比较对象是一个同家族、参数量大三倍的模型,所以这个增益可归因于数据,而不是不同的架构或训练谱系——这是正确的对照。而迁移到 BFCL(另一个独立的函数调用基准)说明:模型学到的是关于”工具调用”的一般能力,而不是拟合了那 145 个任务。一个只改善了自己基准的配方,不足以证明那份执行开销是值得的。

   [1] 测量:KOPA-BENCH
         145 个真实任务,跑在韩国开放政务 API 上
         <- 真实任务、对着「真实政务端点」
         -> 测量的是「部署场景本身」,不是它的代理

   [2] 配方:EDGE = 由执行锚定的动态图
       核心想法:验证应来自「执行」,而不是来自"看起来合理"

         (a) 「构建」一张图:每个工具的输出如何能喂给
             另一个工具的输入
               <- 「候选」结构,由 API 形态推出
               <- 其中许多链接在实践中「根本不能用」,
                  而这个阶段你分不出哪些

         (b) 「只保留」对着实时 API 真正调用时「确实成功」的链接
               <- 决定性的一步
               <- 不是问模型"这条链「看起来」合理吗",
                 而是「执行」它
               -> 边是「经验验证」的,不是假设的

         (c) 「遍历」已验证的链接,合成「可执行」的多步轨迹
               -> 在构造上就可执行

       「顺序」才是方法学要点:
         「先验证边、再要轨迹」
         <- 先合成再筛会浪费生成、并把"筛选"变成质量瓶颈

   [3] 结果
         在由此得到的数据集上做 GRPO 微调
         -> 一个 9B 模型「几乎追平」「同家族未调优的 27B」
         -> 不仅 KOPA-Bench,在 BFCL 上也有实质提升

       为什么这个主张要紧
         - 对照是「同家族、大三倍」的模型:
           增益可归因于「数据」,而非不同架构或训练谱系
         - 迁移到 BFCL(另一个独立的函数调用基准)说明
           学到的是「一般的工具调用能力」,
           而不是那 145 个任务
         <- 一个只改善了自己基准的配方,
            不足以证明那份执行开销值得

可以用**“靠真的去坐车来学一座城市的公交,而不是靠读地图”来理解这件事: 地图会告诉你哪些线路看起来相连:两条路线共用一个站名,于是换乘看起来可行。但这个连接是否真的能走**——站台是否真的连通、时间是否允许——你只有试过才知道。 如果你先从地图写出一百条路线,然后才发现大多数根本不可能,那份力气就白花了。先靠”坐一遍”把连接验证出来,那么你从这些边拼出的每一条路线,都是真的能走的。 这就是 EDGE 的同一个论证,它也解释了那个迁移:模型学到的是可用连接的结构,而不是某一组具体行程的”看起来合理”。

关键概念

  • 机构级基准,而不是代理指标: 145 个跑在真实政务 API 上的任务。测量实际部署场景,才让这个缺口对面临同样要求的机构变得可操作。
  • 以执行为锚的验证: 只保留实时调用中成功的工具链接。它把”这条链看起来合理吗”换成”这条链跑得通吗”——这正是”模型的先验”与”一个事实”之间的差别。
  • 先边后轨迹: 从已验证的图导出轨迹,而不是筛选合成出来的轨迹。它把验证放在生成上游(那里便宜),而不是下游(那里是瓶颈)。
  • 同家族规模对照: 把微调后的 9B 与同家族未调优的 27B 比较。它把改进的原因隔离为数据
  • 以迁移作为开销的正当理由: 在 BFCL 这个独立函数调用基准上的实质提升。没有它,那份执行开销只买到了”在配方专门为之设计的基准上更好的分数”。

框架转变

之前(监管要求,缺口未被测量):
  本地开源智能体必须串联实时政务 API 上的调用
  -> 开源模型一致地表现不佳
  -> 该场景没有基准
  -> 无从判断短板在哪里、也无从补上

之后(被测量,并配一套由执行锚定的配方):
  KOPA-Bench:145 个跑在实时政务 API 上的真实任务
  EDGE:候选图 -> 只保留「实时执行验证」过的链接
        -> 遍历以合成可执行轨迹
  GRPO 微调:9B 几乎追平未调优的 27B,BFCL 上也有提升

从”一项被强制要求的部署、一个已知的短板、却没有仪器”,转变为”为该场景提供基准,并配一套验证来自执行的配方”,核心转变在于:合成数据的质量取决于”对着真实系统检验组合是否可行”,而不是”凭外观判断它是否合理”。

专家评审

选题眼光: 极好,而且它把一项约束当真了,而不是当作麻烦。 数据主权不是暂时的不便;它正在产出一整类部署——在那里,按法律无法使用前沿 API——而这个领域在”为监管实际创造出的场景建基准”这件事上一直偏慢。

方法成熟度: EDGE 的核心选择——以执行验证、并从已验证的图导出轨迹——方向是对的,而且值得强调,因为朴素顺序(先合成、再筛选)才是最显然的那个,而它更差的原因论文讲清楚了。 与同家族 27B 的比较是一个挑得好的对照;而 BFCL 的迁移是那道把”一般能力提升”与”拟合基准”区分开的检查。 范围上的限制是:基准是韩语、且针对政务 API,因此它对其他司法辖区与 API 家族的迁移性未被检验;而构建该图的执行成本——配方的主要开销——没有被量化。

实验诚意: 三段式证据结构——新基准暴露缺口、配方、微调显示缺口收窄——从测量到补救覆盖了整个主张。 迁移到外部基准是最强的一环,因为它是一道本可能失败的检查:如果 BFCL 上没有变化,这个结果就会看起来像对 145 个任务的过拟合。 主要的欠缺在报告上:既然”以执行验证”是昂贵的那部分,读者要决定是否采用 EDGE,就需要知道”每条可用轨迹需要多少调用量”。

写作功力: 摘要把基准、配方与结果分得干净,而 EDGE 的步骤也按它们要紧的顺序命名。 由于实际决定是”要不要花这笔执行预算”,若能简短给出产出率——每条可用轨迹需要多少次调用、或多少条候选链接——会让配方可被采纳,而不只是令人信服

判决: 强接收(Strong Accept) — 它测量了一个监管正在创造出的部署场景,并给出一套数据合成配方;其决定性动作是”对着真实系统验证组合是否可行”,而不是凭外观判断。

要点总结

  • 对着真实系统验证组合是否可行,而不是凭”看起来合理”。两个工具能否串联,是关于这次部署的事实,只有执行能确立它。
  • 先构建已验证的结构,再从它生成。 从一张经过验证的图导出轨迹,比筛选合成出来的轨迹便宜,因为它把验证放在了上游。
  • 同家族更大的模型作对照。同谱系的对照能把数据隔离为原因,而不是把它与架构混淆。
  • 确认增益能迁移到外部基准。没有这道检查,一套合成配方可能只是在拟合它专门为之设计的那些任务。