🧑‍🔬 Who cites Jan Jakubův

48 citations of their works from 32 papers of our library (of the 149,439 whose bibliographies we read) · 25 with a page here, the most cited first · ← Jan Jakubův

1. On the Opportunities and Risks of Foundation ModelsarXiv:2108.07258Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.2021 · 3,160 citations
2. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
3. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
4. NaturalProver: Grounded Mathematical Proof Generation with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Sean Welleck, Jiacheng Liu, Ximing Lu, et al.2022 · 62 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. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
7. Learning to Prove Theorems by Learning to Generate TheoremsarXiv:2002.07019Mingzhe Wang, Jia Deng2020 · 53 citations
8. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
9. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
10. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
11. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
12. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
13. 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
14. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
15. First Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citations
16. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
17. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
18. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
19. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
20. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
21. Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations
22. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
23. Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicEPiC series in computingThibault Gauthier2019 · 15 citations
24. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations
25. Learning to Prove from Synthetic TheoremsarXiv:2006.11259Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.2020 · 12 citations

7 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/jan-jakubuv/cited-by/