Author

Yu Gan

h-index 1 View on Semantic Scholar

We have 1 of 5 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution

This work presents a self-evolving Lean proof agent in which a small fixed, trusted runtime wraps a fully mutable workspace: the proof workflow, prompts, and tools, and shows that verifier-grounded self-evolution can improve Lean proof workflows under a coevolving benchmark.

Yu-Qing Li, Ze-Guan Wu, Yu Gan et al. · arXiv.org · 1 citation