🧑‍🔬 Who cites Tobias Nipkow

51 citations of their works from 47 papers of our library (of the 149,439 whose bibliographies we read) · 31 with a page here, the most cited first · ← Tobias Nipkow

1. DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language ModelsarXiv:2402.03300Zhihong Shao, Peiyi Wang, Qihao Zhu, et al.2024 · 2,115 citations
2. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
3. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
4. Large Language Models for Mathematical Reasoning: Progresses and ChallengesConference of the European Chapter of the Association for Computational Linguistics (EACL)Janice Ahn, Rishu Verma, Renze Lou, et al.2024 · 280 citations
5. The Lean mathematical libraryACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)The mathlib Community2019 · 249 citations
6. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
7. HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
8. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
9. Premise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citations
10. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
11. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
12. 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
13. First Experiments with Neural Translation of Informal to Formal MathematicsLecture notes in computer scienceQingxiang Wang, Cezary Kaliszyk, Josef Urban2018 · 66 citations
14. TacticToe: Learning to Prove with TacticsJournal of Automated ReasoningThibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.2018 · 57 citations
15. Formalising perfectoid spacesACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Kevin Buzzard, Johan Commelin, Patrick Massot2019 · 48 citations
16. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem ProvingarXiv:1703.00426Cezary Kaliszyk, François Chollet, Christian Szegedy2017 · 48 citations
17. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
18. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
19. Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
20. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
21. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
22. PaMpeR: Proof Method Recommendation System for Isabelle/HOLarXiv:1806.07239Yutaka Nagashima, Yilun He2018 · 29 citations
23. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
24. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
25. LLMSTEP: LLM proofstep suggestions in LeanarXiv:2310.18457Sean Welleck, Rahul Saha2023 · 22 citations
26. CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsarXiv:2505.03171Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.2025 · 20 citations
27. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
28. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
29. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
30. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
31. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations

16 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/tobias-nipkow/cited-by/