TY  - RPRT
TI  - FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation
AU  - Rob Cornish
AU  - Iacopo Ghinassi
AU  - Po-Hung Yeh
AU  - Shuqi Liu
AU  - Qiyuan Xu
AU  - Haoxuan Yin
AU  - Dominik Wagner
AU  - Wenda Li
AU  - Yee Whye Teh
AU  - Luke Ong
PY  - 2026
UR  - https://arxiv.org/abs/2608.10916
ID  - 2608.10916
ER  -