FormInv: A Measurement Protocol for Semantic Invariance in Mathematical Reasoning Benchmarks
FormInv:数学推理基准中语义不变性的测量协议
机构 * Mohamed Bin Zayed University of Artificial Intelligence(Mohamed Bin Zayed人工智能大学)
专题命中 推理评测 :reasoning(title);分类 cs.AI、cs.LG
AI总结 提出FormInv协议,通过跨模型一致性审计检测语义错误,并引入语义一致性率(SCR)和Cochran's Q指标,揭示标准基准无法捕捉的排名变化和模型不一致性。
Comments 18 pages, 3 figures. Under review for the 3rd AI for Math Workshop (AI4Math), ICML 2026