🔗 Who cites «Hammering towards QED»

32 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 «Hammering towards QED»

1. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
2. The Lean mathematical libraryarXiv:1910.09336The mathlib Community2019 · 249 citations
3. DeepMath - Deep Sequence Models for Premise SelectionarXiv:1606.04442Alex A. Alemi, Francois Chollet, Niklas Een, et al.2016 · 178 citations
4. Deep Network Guided Proof SearcharXiv:1701.06972 (In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340)Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
5. Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/blanchette-2016-hammering-qed/cited-by/