Sorsi2026
Our preprint “Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification” is now available. SO-RSI uses diagnostic investigations to guide agent workflow improvements on Lean 4 and Verus.
Our preprint “Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification” is now available. SO-RSI uses diagnostic investigations to guide agent workflow improvements on Lean 4 and Verus.