@conference{li_proving_2025,
 author = {Zenan Li and Zhaoyu Li and Wen Tang and Xian Zhang and Yuan Yao and Xujie Si and Fan Yang and Kaiyu Yang and Xiaoxing Ma},
 booktitle = {The Thirteenth International Conference on Learning Representations},
 title = {Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning},
 url = {https://openreview.net/forum?id=FiyS0ecSm0},
 year = {2025}
}