VeruSteer：学习选择 Verus 证明修复目标
热点事件持续更新
VeruSteer：学习选择 Verus 证明修复目标
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Chao Jiang 等作者提出 VeruSteer，用学习方式从不同修复轨迹的结果中选择 Verus 报错类型，替代 AutoVerus 和 VeruSAGE 中预设的优先级。作者在 1,270 棵测试树上评估，验证成功数从 185 提升到 194，成功率由 14.57% 升至 15.28%，净增 0.71 个百分点。 该方法离线构建修复树，用步级模仿与轨迹偏好排序训练选择器，不增加修复或验证器调用。上述提升幅度来自作者报告，尚未见独立复现。
AI 根据报道生成 · 1 小时前更新
最新进展10月22日 12:00
VeruSteer：学习在 Verus 中下一步修复什么报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- arXiv cs.SEVeruSteer：学习在 Verus 中下一步修复什么
VeruSteer 学习从不同修复轨迹的结果中选择 Verus 报错类型，替代 AutoVerus 和 VeruSAGE 中预设的优先级。在 1,270 棵测试树上，验证成功数从 185 提升到 194（14.57% 到 15.28%），净增 0.71 个百分点。该方法离线构建修复树，用步级模仿与轨迹偏好排序训练选择器，不增加修复或验证器调用。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。