---
title: "Who cites On a conjecture of Marton — 6 papers of our library"
description: "6 papers of the Elamur Research library cite «On a conjecture of Marton», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/gowers-2023-conjecture-marton/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/gowers-2023-conjecture-marton/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [On a conjecture of Marton](https://md.research.elamur.ai/free/en/papers/gowers-2023-conjecture-marton/) / cited by

# Who cites «On a conjecture of Marton»

6 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · [← back to «On a conjecture of Marton»](https://md.research.elamur.ai/free/en/papers/gowers-2023-conjecture-marton/)

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*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/gowers-2023-conjecture-marton/) — On a conjecture of Marton