--- title: "Who cites The Isabelle Framework — 21 papers of our library" description: "21 papers of the Elamur Research library cite «The Isabelle Framework», found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [The Isabelle Framework](https://md.research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/) / cited by # Who cites «The Isabelle Framework» 21 papers of our library cite it (of the 149,439 whose bibliographies we read) · 14 with a page here, the most cited first · [← back to «The Isabelle Framework»](https://md.research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/) 1. [**DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models arXiv:2402.03300**Zhihong Shao, Peiyi Wang, Qihao Zhu, et al.*2024 · 2,115 citations*](https://md.research.elamur.ai/free/en/papers/shao-2024-deepseekmath-pushing-limits-mathematical-reasoning/) 2. **[Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.*2022 · 992 citations* 3. [**Llemma: An Open Language Model For Mathematics arXiv:2310.10631**Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.*2023 · 286 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-llemma-open-language-model-mathematics/) 4. **[Large Language Models for Mathematical Reasoning: Progresses and Challenges](https://md.research.elamur.ai/free/en/papers/ahn-2024-large-language-models-mathematical-reasoning/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Janice Ahn, Rishu Verma, Renze Lou, et al.*2024 · 280 citations* 5. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) 6. [**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/) 7. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations* 8. [**HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241**Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.*2019 · 78 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-holist-environment-machine-learning-higher/) 9. **[TacticToe: Learning to Prove with Tactics](https://md.research.elamur.ai/free/en/papers/gauthier-2018-tactictoe-learning-prove-tactics/) [Journal of Automated Reasoning](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)**Thibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.*2018 · 57 citations* 10. [**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/) 11. [**Process-Driven Autoformalization in Lean 4 arXiv:2406.01940**Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-process-driven-autoformalization-lean-4/) 12. [**LLMSTEP: LLM proofstep suggestions in Lean arXiv:2310.18457**Sean Welleck, Rahul Saha*2023 · 22 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2023-llmstep-llm-proofstep-suggestions-lean/) 13. [**CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics arXiv:2505.03171**Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.*2025 · 20 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/) 14. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/) 7 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/) — The Isabelle Framework