TY  - RPRT
TI  - Structure-Aware Equivalence for Evaluating Autoformalized Statements
AU  - Yi Yu
AU  - Yu-Hsuan Wu
AU  - Guang Lin
AU  - Yuhui Zhang
AU  - Yuxiang Peng
PY  - 2026
UR  - https://arxiv.org/abs/2610.25018
ID  - 2610.25018
ER  -