From the 1 of 2 linked papers with an AI index.
1 paper · 1 filter
Ruslan Khrulev
The paper introduces BlueprintRepair, an interface that lets large language models make typed, local edits to Lean proof blueprints, and evaluates it on a benchmark of controlled p…