---
title: "Who cites Proving Olympiad Inequalities by — 11 citing papers"
description: "11 papers of the Elamur Research library cite «Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Proving Olympiad Inequalities by Synergizing LLMs…](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/) / cited by

# Who cites «Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning»

11 papers of our library cite it (of the 149,439 whose bibliographies we read) · 5 with a page here, the most cited first · [← back to «Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning»](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)

1. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/)
2. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/)
3. [**Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 arXiv:2502.03544**Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/)
4. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations*
5. **[Language Models Learn Universal Representations of Numbers and Here's Why You Should Care](https://md.research.elamur.ai/free/en/papers/stefanik-2026-language-models-learn-universal-representations/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.*2026*

6 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/) — Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning