Research author

Per Kristian Lehre

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Per Kristian Lehre

Oct 26, 2026
cs.AI

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

Per Kristian Lehre

Per Kristian Lehre — AI Research Papers | One9Founders