TY  - RPRT
TI  - MechAlign: Evaluating Semantic Alignment at the Project Level in Mathematical Formalization
AU  - Hao Shen
AU  - Ruichen Qiu
AU  - Lihong Zhi
AU  - Xiao-Shan Gao
PY  - 2026
UR  - https://arxiv.org/abs/2610.35269
ID  - 2610.35269
ER  -