works on
benchmark 1large language models 1lean 1proof repair 1theorem proving 1typed edits 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing cs.CVShow all

1 paper · 1 filter

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…