TY  - RPRT
TI  - Agentic Algorithm Design: LLMs that Propose, Formalise, and Prove Runtime Bounds for Evolutionary Algorithms in Lean
AU  - Per Kristian Lehre
PY  - 2026
UR  - https://arxiv.org/abs/2610.35595
ID  - 2610.35595
ER  -