RePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving
Researchers introduced Proof-Verified Benchmark Rewriting (RePro), the first framework integrating Lean-oriented neural automated theorem provers into benchmark rewriting, ensuring rewritten math prob…