RePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving
Proof-Verified Benchmark Rewriting (RePro) is proposed, the first framework to integrate Lean-oriented neural automated theorem provers (ATPs) into benchmark rewriting, which rewrites problems and regenerates answers with correctness ensured by Lean-verified proofs.
Xiyuan Zhou, Zhuo-Qi Li, Xinlei Wang et al.
· 0 citations