Explore
Discover
Solutions
AI Services
Our Products
Submit a tool
Search the catalog
⌘K
$
/
₹
Sign up free
Login
Back to papers
October 26, 2026
cs.AI
cs.NE
Agentic Algorithm Design: LLMs that Propose, Formalise, and Prove Runtime Bounds for Evolutionary Algorithms in Lean
Per Kristian Lehre
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI, cs.NE
Agentic Algorithm Design: LLMs that Propose, Formalise, and Prove Runtime Bounds | One9Founders