TY  - RPRT
TI  - Solving Formal Math Problems by Decomposition and Iterative Reflection
AU  - Yichi Zhou
AU  - Jianqiu Zhao
AU  - Yongxin Zhang
AU  - Bohan Wang
AU  - Siran Wang
AU  - Luoxin Chen
AU  - Jiahui Wang
AU  - Haowei Chen
AU  - Allan Jie
AU  - Xinbo Zhang
AU  - Haocheng Wang
AU  - Luong Trung
AU  - Rong Ye
AU  - Phan Nhat Hoang
AU  - Huishuai Zhang
AU  - Peng Sun
AU  - Hang Li
PY  - 2025
UR  - https://arxiv.org/abs/2507.15225
ID  - 2507.15225
ER  -