AI EVALUATION, IN CONTEXT.BY EQUALITY MACHINE

Model reports

SWE Refactor Bench

迁移任务在开始前就能通过原测试。该评测同时检查技术栈是否真正替换、已记录行为是否保留,以及独立 Agent 能否找出新反例。

对应 arXiv v1 的 20 题、520 次运行实验。模型与推理强度的组合分别保留;跨配置汇总使用不同分母。

迁移整个仓库

20 个固定版本的开源仓库包含七项语言重写、七项框架重写、三项平台移植与三项构建工具迁移,每次尝试预算 6–30 小时。原 API、交付产物与可观察行为要保持一致,旧技术栈则应从交付实现中退出。

SWE Refactor Bench paper v1 · protocol and validity analysis · Official tasks · budgets and corpus coverage

三道验收关

首先通过源码审计判断迁移是否发生,每项条件由三次判定多数表决。然后要求题目适用的固定检查全部通过,全题集共 130,118 项。最后六个编程 Agent 各用一小时寻找原版通过、提交版失败且可重复三次的测试。

SWE Refactor Bench paper v1 · protocol and validity analysis · Official repository · scoring and pinned clients

综合分不等于验收通过率

迁移门槛或任一必要固定检查失败,任务得零分;否则先得 40 分,每有一个验证 Agent 找不到反例再得 10 分。榜单对各题的 0–100 综合分求平均。完全验收更严格:必须抵御全部六个验证 Agent。

SWE Refactor Bench paper v1 · protocol and validity analysis · Official repository · scoring and pinned clients

完整推理配置成绩

论文表 3 包含全部 26 个配置。行为检查通过率与成本属于不同指标,不能替代综合分。

论文 v1 表 3 · 每配置对 20 题各尝试一次
模型运行框架推理强度行为通过率(%)综合分(/100)每题 API 美元
Claude Opus 5Claude Codelow92.520.534.8
Claude Opus 5Claude Codemedium92.728.538.4
Claude Opus 5Claude Codehigh92.834.555.7
Claude Opus 5Claude Codexhigh92.847.074.9
Claude Opus 5Claude Codemax91.931.072.4
GPT-5.6 SolCodexnone63.64.02.9
GPT-5.6 SolCodexlow62.07.05.9
GPT-5.6 SolCodexmedium70.86.56.0
GPT-5.6 SolCodexhigh74.019.07.7
GPT-5.6 SolCodexxhigh73.59.519.1
GPT-5.6 SolCodexmax84.128.5143.5
Kimi K3Claude Codemax93.919.528.9
Claude Sonnet 5Claude Codelow79.24.04.4
Claude Sonnet 5Claude Codemedium73.915.011.9
Claude Sonnet 5Claude Codehigh85.66.024.6
Claude Sonnet 5Claude Codexhigh76.59.027.0
Claude Sonnet 5Claude Codemax84.38.527.5
GPT-5.6 LunaCodexnone66.44.01.6
GPT-5.6 LunaCodexlow58.34.01.7
GPT-5.6 LunaCodexmedium66.60.01.7
GPT-5.6 LunaCodexhigh75.64.01.8
GPT-5.6 LunaCodexxhigh83.85.52.9
GPT-5.6 LunaCodexmax89.110.52.8
Qwen 3.8 MaxClaude Codemax74.710.014.5
DeepSeek V4 FlashClaude Codemax90.77.04.3
GLM 5.2Claude Codemax85.26.517.5

行为检查平均通过率不等于完全验收的迁移比例。GPT 模型使用 Codex,其余使用 Claude Code;成本是这批实验报告的值。

Paper v1 Table 3 · all 26 configurations · Official leaderboard · configuration and pooled summaries

区分跨配置均值与最佳配置

官网还将同一模型的全部运行合并。闭源模型覆盖五或六档推理强度,开放权重模型各仅一档;这与比较最佳配置回答的是不同问题。

官方跨配置汇总 · 核对日期 2026-10-27
模型客户端配置数运行数完全验收数综合分(/100)
claude-opus-5Claude Code51001632.30
gpt-5.6-solCodex CLI6120512.42
claude-sonnet-5Claude Code510038.50
gpt-5.6-lunaCodex CLI612004.67
kimi-k3Claude Code120219.50
qwen3.8-maxClaude Code120210.00
dsv4-flashClaude Code12007.00
glm-5.2Claude Code12006.50

推理强度组合与分母不同,不能当成同一协议,也不是新增的独立实验。

Official leaderboard · configuration and pooled summaries

通过仍有边界

每题一次尝试不能建立重复运行的可靠性。迁移审计依赖模型判断,可能与人工有分歧,论文对此专门复核。六个验证 Agent 在一小时内未找到差异,只说明该组合与预算下的检查结果,并不构成程序等价性的证明。

SWE Refactor Bench paper v1 · protocol and validity analysis · Official leaderboard · configuration and pooled summaries

原始发布

对应 arXiv v1 的 20 题、520 次运行实验。模型与推理强度的组合分别保留;跨配置汇总使用不同分母。

核对于 2026-10-27

已收录的评测资料

这条来源记录收录了 26 条数值成绩。来源区分了 8 个模型身份或配置。同一模型可能有多条记录;比较前请核对具体版本、工具和运行预算。 查看成绩及逐条证据 →

报告指标
Composite score
原始单位
points
指标方向
数值越高越好

从这些资料开始

引用文档及日期(1)

关注度快照

观测日期:2026-10-13

GitHub 星标
53
Hugging Face 论文点赞
15
观测日前 30 天星标变化
+4

查看来源快照

这是注明日期的关注度观测,不是实时计数或评测分数。

评测信息与证据

来源
Model reports
发布者
未收录
评测发布日期
2026-08-24
采集日期
未收录
模态
未收录

本站保留来源报告的结果,不代表独立复测。请先核对任务版本、评测协议、分数单位和报告日期;不同运行条件不能直接合并为统一排名。

报告成绩 26

按来源中的观察顺序展示,顺序不代表排名。日期保留原始精度。

模型数值单位协议报告日期与口径来源
Claude Opus 534.5pointsClaude Code 2.1.220; reasoning effort high; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Sonnet 56.0pointsClaude Code 2.1.220; reasoning effort high; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Opus 520.5pointsClaude Code 2.1.220; reasoning effort low; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Sonnet 54.0pointsClaude Code 2.1.220; reasoning effort low; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Opus 531.0pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Sonnet 58.5pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
DeepSeek V4 Flash7.0pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GLM 5.26.5pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Kimi K319.5pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Qwen 3.8 Max10.0pointsClaude Code 2.1.220; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Opus 528.5pointsClaude Code 2.1.220; reasoning effort medium; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Sonnet 515.0pointsClaude Code 2.1.220; reasoning effort medium; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Opus 547.0pointsClaude Code 2.1.220; reasoning effort xhigh; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
Claude Sonnet 59.0pointsClaude Code 2.1.220; reasoning effort xhigh; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna4.0pointsCodex CLI 0.146.0; reasoning effort high; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol19.0pointsCodex CLI 0.146.0; reasoning effort high; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna4.0pointsCodex CLI 0.146.0; reasoning effort low; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol7.0pointsCodex CLI 0.146.0; reasoning effort low; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna10.5pointsCodex CLI 0.146.0; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol28.5pointsCodex CLI 0.146.0; reasoning effort max; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna0.0pointsCodex CLI 0.146.0; reasoning effort medium; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol6.5pointsCodex CLI 0.146.0; reasoning effort medium; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna4.0pointsCodex CLI 0.146.0; reasoning effort none; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol4.0pointsCodex CLI 0.146.0; reasoning effort none; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Luna5.5pointsCodex CLI 0.146.0; reasoning effort xhigh; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3
GPT-5.6 Sol9.5pointsCodex CLI 0.146.0; reasoning effort xhigh; one independent attempt per each of 20 tasks; per-task 6–30 hour wall-clock budget; no network except model endpoint; migration audit majority of 3 judge samples; all fixed tests required; six independent 1-hour differential verifiers; mean composite out of 1002026-08-24 · document_publicationSWE Refactor Bench paper v1 · Table 3