04:00
2026-09-02
arxiv.org
artificial-intelligence
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…