Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning - Li, Zenan; Li, Zhaoyu; Tang, Wen; Zhang, Xian; Yao, Yuan; Si, Xujie; Yang, Fan; Yang, Kaiyu; Ma, Xiaoxing (International Conference on Learning Representations, 2025)