AI repair tool fixes proofs via small structured edits

Original: BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints

Source: arxiv.org ↗