Solving Formal Math Problems by Decomposition and Iterative Reflection. - Yichi Zhou; Jianqiu Zhao; Yongxin Zhang; Bohan Wang; Siran Wang; Luoxin Chen; Jiahui Wang; Haowei Chen; Allan Jie; Xinbo Zhang; Haocheng Wang; Luong Quoc Trung; et al. (CoRR, 2025)