
EP380: AI rewriting itself to solve formal math
Title: Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution Source: http://arxiv.org/abs/2607.17352v1 Summary: This paper introduces a foundational framework for agents to autonomously modify the







