🧑‍🔬 Who cites Niklas Een

81 citations of their works from 78 papers of our library (of the 149,439 whose bibliographies we read) · 45 with a page here, the most cited first · ← Niklas Een

1. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
2. 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
3. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
4. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
5. A Survey of Machine Learning for Big Code and NaturalnessACM Computing SurveysMiltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.2017 · 167 citations
6. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
7. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
8. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
9. History of Interactive Theorem ProvingHandbook of the History of Logic, vol. 9 (Elsevier)John Harrison, Josef Urban, Freek Wiedijk2014 · 109 citations
10. Premise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citations
11. GamePad: A Learning Environment for Theorem ProvingarXiv:1806.00608Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.2018 · 94 citations
12. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
13. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
14. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
15. Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations
16. HOList: An Environment for Machine Learning of Higher-Order Theorem ProvingarXiv:1904.03241Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.2019 · 78 citations
17. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
18. Generating Correctness Proofs with Neural NetworksarXiv:1907.07794Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.2019 · 69 citations
19. 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
20. Premise Order Matters in Reasoning with Large Language ModelsarXiv:2402.08939Xinyun Chen, Ryan A. Chi, Xuezhi Wang, et al.2024 · 58 citations
21. Learning Continuous Semantic Representations of Symbolic ExpressionsarXiv:1611.01423Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, et al.2016 · 57 citations
22. Learning to Prove Theorems by Learning to Generate TheoremsarXiv:2002.07019Mingzhe Wang, Jia Deng2020 · 53 citations
23. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
24. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
25. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem ProvingarXiv:1703.00426Cezary Kaliszyk, François Chollet, Christian Szegedy2017 · 48 citations
26. Holophrasm: a neural Automated Theorem Prover for higher-order logicarXiv:1608.02644Daniel Whalen2016 · 48 citations
27. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
28. Premise Selection in Natural Language Mathematical TextsAnnual Meeting of the Association for Computational Linguistics (ACL)Deborah Ferreira, André Freitas2020 · 44 citations
29. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
30. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
31. DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value FunctionAnnual Meeting of the Association for Computational Linguistics (ACL)Haiming Wang, Ye Yuan, Zhengying Liu, et al.2023 · 40 citations
32. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
33. Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
34. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
35. Mathematical Reasoning in Latent SpacearXiv:1909.11851Dennis Lee, Christian Szegedy, Markus N. Rabe, et al.2019 · 33 citations
36. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
37. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
38. Stateful Premise Selection by Recurrent Neural NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations
39. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
40. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
41. Guiding High-Performance SAT Solvers with Unsat-Core PredictionsarXiv:1903.04671 (International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019)Daniel Selsam, Nikolaj Bjørner2019 · 16 citations
42. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
43. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations
44. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
45. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations

33 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/niklas-een/cited-by/