From the 1 of 2 linked papers with an AI index.
2 papers
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…
cs.CV2025
CHECK-MAT: Checking Hand-Written Mathematical Answers for the Russian Unified State Exam
Ruslan Khrulev
This paper introduces a novel benchmark, EGE-Math Solutions Assessment Benchmark, for evaluating Vision-Language Models (VLMs) on their ability to assess hand-written mathematical…