Evaluating Research-Level Math Proofs via Strict Step-Level Verification

Yifeng Sun

Large Language Models (LLMs) struggle to rigorously verify complex mathematical proofs. Standard global evaluation approaches suffer from "context poisoning," in which superficiall…