🔗 Who cites «MizAR 40 for Mizar 40»

20 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 «MizAR 40 for Mizar 40»

1. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
2. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
3. ENIGMA: Efficient Learning-based Inference Guiding MachineLecture notes in computer scienceJan Jakubův, Josef Urban2017 · 67 citations
4. TacticToe: Learning to Prove with TacticsJournal of Automated ReasoningThibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.2018 · 57 citations
5. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
6. Holophrasm: a neural Automated Theorem Prover for higher-order logicarXiv:1608.02644Daniel Whalen2016 · 48 citations
7. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
8. ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)Lecture notes in computer scienceJan Jakubův, Karel Chvalovský, Miroslav Olšák, et al.2020 · 42 citations
9. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
10. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
11. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
12. Stateful Premise Selection by Recurrent Neural NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations
13. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
14. Learning to Prove from Synthetic TheoremsarXiv:2006.11259Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.2020 · 12 citations
15. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations

5 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/kaliszyk-2013-mizar-40-mizar-40/cited-by/