--- title: "Who cites Terence Tao — 54 papers of our library" description: "54 papers of the Elamur Research library cite the works of Terence Tao, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/terence-tao/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/terence-tao/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Terence Tao](https://md.research.elamur.ai/free/en/authors/terence-tao/) / cited by # Who cites Terence Tao 59 citations of their works from 54 papers of our library (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · [← Terence Tao](https://md.research.elamur.ai/free/en/authors/terence-tao/) 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. [**Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean arXiv:2404.12534**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · 39 citations*](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) 3. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations* 4. **[Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery](https://md.research.elamur.ai/free/en/papers/tzachristas-2026-open-problems-solved-llms-survey/) [Big Picture v2: Crafting a Research Narrative](https://md.research.elamur.ai/free/en/venues/bigpicture/)**Ioannis Tzachristas, Georgios Tzachristas, Aifen Sui*2026* 50 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/terence-tao/) — Terence Tao