🧑‍🔬 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

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
3. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (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 DiscoveryBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas, Aifen Sui2026

50 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/terence-tao/cited-by/