arXiv · cs.AI· Yuxuan Jiang·· 22 天前精选AI 评分57
SO-RSI 框架用二阶诊断改进形式验证中的递归自我提升
Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification
来源与原文
arXiv · cs.AI
作者：Yuxuan Jiang
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.05701v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
论文提出 SO-RSI 框架，将递归自我提升（RSI）从一阶参数修补升级为二阶诊断，先调查失败原因再进行结构性修改。该框架通过监控执行轨迹中的复现、反向编辑和预期不匹配三类结构异常触发诊断，并在多轮间维护持久 inquiry memory。
推荐理由
论文给出 SO-RSI 在 Lean 4 与 Verus 上相对 Naive RSI 的提升幅度和失败复发分析，方法可迁移到工作流自优化场景。
来源：arXiv · cs.AI · arxiv.org