SOURCE-LINKED INTELLIGENCE

SkillEvoLean: Mutation-enhanced skill evolution for Lean provers

arXiv · AI, language, vision and robotics · article · Oct 1, 2026 · UTC

Skill evolution offers a promising way to improve large language model agents without updating their parameters, but its use in formal theorem proving remains underexplored. Existing methods mainly target natural-language reasoning, improving skills by analyzing successful and failed trajectories and incrementally revising solving strategies. Although the Lean verifier provides reliable execution feedback, when all sampled trajectories fail, existing skill evolution methods lack successful trajectories from which to infer effective update directions. Furthermore, these methods also focus mainl

Read original source ↗ Open in workspace

recordType

paper

region

Global