TY  - RPRT
TI  - Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
AU  - Zhenwen Liang
AU  - Linfeng Song
AU  - Yang Li
AU  - Tao Yang
AU  - Feng Zhang
AU  - Haitao Mi
AU  - Dong Yu
PY  - 2025
UR  - https://arxiv.org/abs/2507.06804
ID  - 2507.06804
ER  -