Abstract page for arXiv paper 2609.00062: RePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving