Search papers, labs, and topics across Lattice.
This paper introduces EvoUndo, a framework designed to enhance the recoverability of self-modifications made by LLM agents during runtime. By analyzing 600 unseen self-evolution tasks, the authors identify 197 mutations that improve capabilities but fail recoverability verification, revealing significant limitations in conventional repair strategies. The study demonstrates that a combination of enhanced recovery language and exact state-address grounding can dramatically improve recovery rates, achieving up to 99.3% success in specific scenarios, underscoring the need for a holistic approach to agent self-evolution.
Self-evolving LLM agents can introduce irreversible changes, but EvoUndo reveals that careful design of recovery mechanisms can recover from 99.3% of these failures.
LLM agents increasingly modify their own prompts, tools, middleware, resources, and execution harnesses at runtime. Such self-evolution can improve capability, but a successful mutation may leave persistent effects that cannot be safely reversed in states different from the one in which it was created. We introduce EvoUndo, a framework for representing, synthesizing, diagnosing, and independently verifying recoverability of model-generated self-modifications across counterfactual states. Across 600 unseen one-shot self-evolution tasks, we identify 197 capability-improving mutations that fail recoverability verification. Under the original recovery representation, conventional repair strategies recover 0/197 of these natural failures. Deterministic oracle analysis recovers 48/197 under the original recovery language L0, while the extended recovery calculus increases empirical oracle recovery to 191/197. A protocol-locked 2x2 grounding-by-expressivity intervention then separates two bottlenecks: exact state-address grounding increases successful recovery from 0/48 to 38/48 (79.2%) when the original language is sufficient, while extending the recovery language enables recovery on 142/143 (99.3%) failures in the oracle-defined S1 stratum. On the primary gpt-oss-120b backbone, adding exact-address diagnostics to the richer language reduces recovery to 133/143 (93.0%); a Qwen3.8-27B replication preserves the grounding and expressivity effects but not this negative interaction, indicating that the latter is model-dependent. These results indicate that reliable agent self-evolution requires co-designing verification, state grounding, witness semantics, and recovery-language expressivity rather than relying on iterative prompting alone.
