RePro
“Experiments on GSM8K and MATH show that RePro's retained rewritten instances achieve 100% well-definedness, feasibility, and answer correctness, while existing methods still produce invalid or incorrect instances.”
The authors, in the abstract
Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving