---
title: "Who cites Proving Olympiad Algebraic — 11 citing papers"
description: "11 papers of the Elamur Research library cite «Proving Olympiad Algebraic Inequalities without Human Demonstrations», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Proving Olympiad Algebraic Inequalities without…](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/) / cited by

# Who cites «Proving Olympiad Algebraic Inequalities without Human Demonstrations»

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 Algebraic Inequalities without Human Demonstrations»](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/)

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 on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
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. [**HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving arXiv:2412.20735**Yang Li, Dong Du, Linfeng Song, et al.*2024 · 25 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-hunyuanprover-scalable-data-synthesis/)
5. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/) — Proving Olympiad Algebraic Inequalities without Human Demonstrations