@misc{indiciaec3c6086043db,
  title = {Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution},
  author = {Yuqing Li and Zeguan Wu and Yu Gan and Junyu Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17352},
  note = {Source identifier: 2607.17352}
}