--- title: "Who cites Premise Selection for — 24 citing papers" description: "24 papers of the Elamur Research library cite «Premise Selection for Mathematics by Corpus Analysis and Kernel Methods», found in their…" canonical: "https://research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Premise Selection for Mathematics by Corpus…](https://md.research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/) / cited by # 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»](https://md.research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/) 1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations* 2. **[Learning-Assisted Automated Reasoning with Flyspeck](https://md.research.elamur.ai/free/en/papers/kaliszyk-2012-learning-assisted-automated-reasoning-flyspeck/) [Journal of Automated Reasoning](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)**Cezary Kaliszyk, Josef Urban*2012 · 165 citations* 3. **[MizAR 40 for Mizar 40](https://md.research.elamur.ai/free/en/papers/kaliszyk-2013-mizar-40-mizar-40/) [Journal of Automated Reasoning](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)**Cezary Kaliszyk, Josef Urban*2013 · 112 citations* 4. [**Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994**Mingzhe Wang, Yihe Tang, Jian Wang, et al.*2017 · 106 citations*](https://md.research.elamur.ai/free/en/papers/wang-2017-premise-selection-theorem-proving-deep/) 5. **[ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E](https://md.research.elamur.ai/free/en/papers/chvalovsky-2019-enigma-ng-efficient-neural-gradient/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Karel Chvalovský, Jan Jakubův, Martin Suda, et al.*2019 · 61 citations* 6. [**Reinforcement Learning of Theorem Proving arXiv:1805.07563**Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.*2018 · 50 citations*](https://md.research.elamur.ai/free/en/papers/kaliszyk-2018-reinforcement-learning-theorem-proving/) 7. [**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/) 8. [**HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426**Cezary Kaliszyk, François Chollet, Christian Szegedy*2017 · 48 citations*](https://md.research.elamur.ai/free/en/papers/kaliszyk-2017-holstep-machine-learning-dataset-higher/) 9. [**Holophrasm: a neural Automated Theorem Prover for higher-order logic arXiv:1608.02644**Daniel Whalen*2016 · 48 citations*](https://md.research.elamur.ai/free/en/papers/whalen-2016-holophrasm-neural-automated-theorem-prover/) 10. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/) 11. **[Premise Selection in Natural Language Mathematical Texts](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Deborah Ferreira, André Freitas*2020 · 44 citations* 12. [**Learning to Reason in Large Theories without Imitation arXiv:1905.10501**Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.*2019 · 36 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-learning-reason-large-theories-without/) 13. [**Magnushammer: A Transformer-Based Approach to Premise Selection arXiv:2303.04488**Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.*2023 · 35 citations*](https://md.research.elamur.ai/free/en/papers/mikula-2023-magnushammer-transformer-based-approach-premise/) 14. **[Property Invariant Embedding for Automated Reasoning](https://md.research.elamur.ai/free/en/papers/olsak-2019-property-invariant-embedding-automated-reasoning/) [Frontiers in artificial intelligence and applications](https://md.research.elamur.ai/free/en/venues/frontiers-in-artificial-intelligence-and-applications/)**Miroslav Olšák, Cezary Kaliszyk, Josef Urban*2019 · 30 citations* 15. **[Stateful Premise Selection by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Bartosz Piotrowski, Josef Urban*2020 · 21 citations* 9 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/alama-2011-premise-selection-mathematics-corpus-analysis/) — Premise Selection for Mathematics by Corpus Analysis and Kernel Methods