TY  - RPRT
TI  - Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
AU  - Yuqing Li
AU  - Zeguan Wu
AU  - Yu Gan
AU  - Junyu Liu
PY  - 2026
UR  - https://arxiv.org/abs/2607.17352
ID  - 2607.17352
ER  -