FormInv: A Measurement Protocol for Semantic Invariance in Mathematical Reasoning Benchmarks.

arXiv:2605.29001v2 Announce Type: replace-cross Abstract: A paraphrase-quality audit of MathCheck (ICLR 2025) detected 4 semantically incorrect paraphrases in 129 groups (3.1%); removing them drops GPT-4o from rank 2 to rank 4 and elevates Claude Haiku and Dee