@misc{indiciae99b7b8621dbb,
  title = {Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving},
  author = {Zhenwen Liang and Linfeng Song and Yang Li and Tao Yang and Feng Zhang and Haitao Mi and Dong Yu},
  year = {2025},
  url = {https://arxiv.org/abs/2507.06804},
  note = {Source identifier: 2507.06804}
}