papers
Publications (2)
cs.AI2026
BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints
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…
#theorem proving#lean#large language models#proof repair
cs.CV2025
CHECK-MAT: Checking Hand-Written Mathematical Answers for the Russian Unified State Exam
Ruslan Khrulev