TY  - RPRT
TI  - Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
AU  - Zenan Li
AU  - Zhaoyu Li
AU  - Wen Tang
AU  - Xian Zhang
AU  - Yuan Yao
AU  - Xujie Si
AU  - Fan Yang
AU  - Kaiyu Yang
AU  - Xiaoxing Ma
PY  - 2025
UR  - https://arxiv.org/abs/2502.13834
ID  - 2502.13834
ER  -