TY  - RPRT
TI  - Aligning Faithfulness for Theory-Scale Autoformalization
AU  - Yuming Feng
AU  - Tadd Mao
AU  - Dhruva Arekar
AU  - Tianjun Zhong
AU  - Jiani Huang
AU  - Xujie Si
AU  - Ziyang Li
PY  - 2026
UR  - https://arxiv.org/abs/2610.18498
ID  - 2610.18498
ER  -