@misc{indiciae198da407108b,
  title = {Solving Formal Math Problems by Decomposition and Iterative Reflection},
  author = {Yichi Zhou and Jianqiu Zhao and Yongxin Zhang and Bohan Wang and Siran Wang and Luoxin Chen and Jiahui Wang and Haowei Chen and Allan Jie and Xinbo Zhang and Haocheng Wang and Luong Trung and Rong Ye and Phan Nhat Hoang and Huishuai Zhang and Peng Sun and Hang Li},
  year = {2025},
  url = {https://arxiv.org/abs/2507.15225},
  note = {Source identifier: 2507.15225}
}