Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving. - Songyang Gao; Yuzhe Gu; Zijian Wu 002; Lingkai Kong; Wenwei Zhang; Zhongrui Cai; Fan Zheng; Tianyou Ma; Junhao Shen; Haiteng Zhao; Duanyang Zhang; Huilun Zhang; et al. (CoRR, 2025)