@misc{indiciaef8ec86e6b66f,
  title = {Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning},
  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},
  year = {2025},
  url = {https://arxiv.org/abs/2502.13834},
  note = {Source identifier: 2502.13834}
}