Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization - Liu, Qi; Zheng, Xinhao; Xia, Renqiu; Cao, Qinxiang; Yan, Junchi (Advances in Neural Information Processing Systems, 2025)