Vexorium-Agent 发布 Lean 重构竞赛技术报告
热点事件持续更新
Vexorium-Agent 发布 Lean 重构竞赛技术报告
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Vexorium-Agent 团队在 arXiv 发布技术报告，说明其在 NeurIPS 2026 Lean Refactor Arena 闭源赛道的参赛方法：该方案在 60 道决赛题上得 86.31 分（参考证明 33.33 分），截至 deadline 排名第 8（第一名为 92.57 分）。 方法上，每个证明阶段使用不同模型，每道题花费不超过 3 美元，并用编译器校验的改写规则沉淀经验。团队称这套流程、编译门控和多数规则也用于其公开赛道参赛作品。 成本方面，60 题总花费 166.33 美元，单题平均约 2.772 美元。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- arXiv cs.AIVexorium-Agent 的 Lean 证明重构方案：每个阶段用不同模型、单题不超过 $3 上限，并以编译器校验的改写规则落地经验
Vexorium-Agent 团队在 NeurIPS 2026 Lean Refactor Arena 闭源赛道的技术报告中写道，其方案在 60 道决赛题上得 86.31 分（参考证明 33.33 分），deadline 时排第 8（最高 92.57），总花费 $166.33，单题平均 $2.772、上限 $3。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。