R2T(Rules to Tools)把公开科学计算要求预先做成可执行检查,供科学编码 Agent 在修复 SciCode 任务时使用。与只拿到文本规则、起始程序、模型和预算的对照组相比,拿到可调用检查的工具组在两个任务 ID 队列中完成修复数从 26/30 提升到 29/30。
细看任务层面,工具组在三个任务 ID 上占优,一个任务上文本占优,十一个任务打平;八 ID 队列中工具组 15/16、文本组 13/16,但任务聚类 bootstrap 95% 区间为 [-12.5, 43.75] 个百分点,说明差异并不稳健。更大的共享定义 SciCode 队列两组均 13/24;在更换起始程序的五个开发暴露任务上,工具组 7/10 对文本组 3/10。匹配 PDE 对比中,详细文本 23/24、检查 24/24,且检查组报告的模型输出低 31.2%,但公共 CPU 使用在两个任务 ID 队列中都上升。
事实是可执行检查能减少部分科学计算代码修复失败,并可能降低 Agent 侧输出成本;推断是其收益取决于任务是否已有可靠初始检查,且可能把成本转移到公共算力;猜测是这类方法更适合有明确方程、边界条件和输出要求的科学计算场景,而不是泛化到所有编码 Agent。
推荐理由:论文用 SciCode 修复任务对比文本规则与可执行检查,显示检查可提升部分任务修复率但结果高度任务依赖,可用于判断 Agent 代码验证应优先做可执行校验而非纯提示约束。