@misc{indiciaeb73e628af285,
  title = {SkillEvoLean: Mutation-enhanced skill evolution for Lean provers},
  author = {Kuo Zhou and ZiXion Yang and Lu Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.01799},
  note = {Source identifier: 2610.01799}
}