SkillEvoLean: Mutation-enhanced skill evolution for Lean provers
arXiv:2610.01799v1 Announce Type: new Abstract: Skill evolution offers a promising way to improve large language model agents without updating their parameters, but its use in formal theorem proving r