Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification.

arXiv:2610.05701v2 Announce Type: replace Abstract: Recursive self-improvement (RSI) enables agents to iteratively optimize their workflows via execution feedback. However, standard RSI typically operates as a first-order optimizer: it repeatedly patches surfa