🔗 Who cites «Premise Selection for Mathematics by Corpus Analysis and Kernel Methods»

24 papers of our library cite it (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · ← back to «Premise Selection for Mathematics by Corpus Analysis and Kernel Methods»

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. Learning-Assisted Automated Reasoning with FlyspeckJournal of Automated ReasoningCezary Kaliszyk, Josef Urban2012 · 165 citations
3. MizAR 40 for Mizar 40Journal of Automated ReasoningCezary Kaliszyk, Josef Urban2013 · 112 citations
4. Premise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citations
5. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for ELecture notes in computer scienceKarel Chvalovský, Jan Jakubův, Martin Suda, et al.2019 · 61 citations
6. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
7. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
8. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem ProvingarXiv:1703.00426Cezary Kaliszyk, François Chollet, Christian Szegedy2017 · 48 citations
9. Holophrasm: a neural Automated Theorem Prover for higher-order logicarXiv:1608.02644Daniel Whalen2016 · 48 citations
10. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
11. Premise Selection in Natural Language Mathematical TextsAnnual Meeting of the Association for Computational Linguistics (ACL)Deborah Ferreira, André Freitas2020 · 44 citations
12. Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
13. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
14. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
15. Stateful Premise Selection by Recurrent Neural NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations

9 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/alama-2011-premise-selection-mathematics-corpus-analysis/cited-by/