arXiv·· 13 天前AI 评分38
SO-RSI：面向形式化验证递归自我改进的二阶问题求解框架
Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification
AI 导读
针对标准递归自我改进（RSI）只做一阶优化、反复修补表层参数导致试错震荡的问题，研究者提出 SO-RSI 框架，将工作流优化提升为二阶诊断式探究，先弄清失败原因再实施结构性干预。SO-RSI 通过被动监控运行过程来支撑这一诊断。
来源：arXiv · arxiv.org