@misc{indiciae842617ec6e0c,
  title = {Aligning Faithfulness for Theory-Scale Autoformalization},
  author = {Yuming Feng and Tadd Mao and Dhruva Arekar and Tianjun Zhong and Jiani Huang and Xujie Si and Ziyang Li},
  year = {2026},
  url = {https://arxiv.org/abs/2610.18498},
  note = {Source identifier: 2610.18498}
}