BlueprintRepair turns failed Lean proof plans into smaller, cheaper AI repair jobs

Submitted to arXiv on July 30, 2026, a new formal-mathematics study shows that schema-checked local edits can repair failed Lean proof blueprints almost as effectively as free-form rewrites while using fewer tokens.