LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization

Lazar Milikic, Simon Guilloud, Khanh Nguyen +1

We present and evaluate LeanFlow, an LLM agent system specialized for translating mathematical papers into buildable Lean projects. Recent verifier-in-the-loop systems show that la…