--- title: "Who cites Faster, Higher, Stronger: E 2.3 — 11 citing papers" description: "11 papers of the Elamur Research library cite «Faster, Higher, Stronger: E 2.3», found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/papers/schulz-2019-faster-higher-stronger-e-2/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/schulz-2019-faster-higher-stronger-e-2/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Faster, Higher, Stronger: E 2.3](https://md.research.elamur.ai/free/en/papers/schulz-2019-faster-higher-stronger-e-2/) / cited by # Who cites «Faster, Higher, Stronger: E 2.3» 11 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · [← back to «Faster, Higher, Stronger: E 2.3»](https://md.research.elamur.ai/free/en/papers/schulz-2019-faster-higher-stronger-e-2/) 1. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/) 2. [**TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning arXiv:2102.09756**Minchao Wu, Michael Norrish, Christian Walder, et al.*2021 · 24 citations*](https://md.research.elamur.ai/free/en/papers/wu-2021-tacticzero-learning-prove-theorems-scratch/) 3. [**Learning to Prove from Synthetic Theorems arXiv:2006.11259**Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.*2020 · 12 citations*](https://md.research.elamur.ai/free/en/papers/aygun-2020-learning-prove-synthetic-theorems/) 4. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/) 7 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/schulz-2019-faster-higher-stronger-e-2/) — Faster, Higher, Stronger: E 2.3