Home » Authors » Per Kristian Lehre

Per Kristian Lehre

Public reference bibliography and cataloged PDF materials authored or published by Per Kristian Lehre.

Found 1 document(s) Page 1 of 1

Agentic Algorithm Design: LLMs that Propose, Formalise, and Prove Runtime Bounds for Evolutionary Algorithms in Lean

Year: 2026 • Source: arxiv.org • Listed PDF

LLMs now prove hard theorems in Lean. Can they also design algorithms and prove their correctness and efficiency? LLM-guided design of optimisation heuristics (such as AlphaEvolve) is purely empirical. Automated theorem ...