--- title: "Who cites NaturalProofs: Mathematical — 63 citing papers" description: "63 papers of the Elamur Research library cite «NaturalProofs: Mathematical Theorem Proving in Natural Language», found in their…" canonical: "https://research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [NaturalProofs: Mathematical Theorem Proving in…](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/) / cited by # Who cites «NaturalProofs: Mathematical Theorem Proving in Natural Language» 63 papers of our library cite it (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · [← back to «NaturalProofs: Mathematical Theorem Proving in Natural Language»](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/) 1. **[A Survey of Large Language Models](https://md.research.elamur.ai/free/en/papers/zhao-2023-survey-large-language-models/) [Frontiers of Computer Science](https://md.research.elamur.ai/free/en/venues/frontiers-of-computer-science/)**Wayne Xin Zhao, Kun Zhou, Junyi Li, et al.*2023 · 2,875 citations* 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. **[OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems](https://md.research.elamur.ai/free/en/papers/he-2024-olympiadbench-challenging-benchmark-promoting-agi/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chaoqun He, Renjie Luo, Yuzhuo Bai, et al.*2024 · 456 citations* 4. **[Mathematical Capabilities of ChatGPT](https://md.research.elamur.ai/free/en/papers/frieder-2023-mathematical-capabilities-chatgpt/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.*2023 · 449 citations* 5. [**MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics arXiv:2109.00110**Kunhao Zheng, Jesse Michael Han, Stanislas Polu*2021 · 257 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2021-minif2f-cross-system-benchmark-formal/) 6. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations* 7. [**Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought arXiv:2210.01240**Abulhair Saparov, He He*2022 · 244 citations*](https://md.research.elamur.ai/free/en/papers/saparov-2022-language-models-greedy-reasoners-systematic/) 8. **[LILA: A Unified Benchmark for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/mishra-2022-lila-unified-benchmark-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.*2022 · 179 citations* 9. [**Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283**Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.*2022 · 178 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) 10. [**SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models arXiv:2307.10635**Xiaoxuan Wang, Ziniu Hu, Pan Lu, et al.*2023 · 149 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-scibench-evaluating-college-level-scientific/) 11. [**ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433**Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.*2023 · 142 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/) 12. [**OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text arXiv:2310.06786**Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.*2023 · 132 citations*](https://md.research.elamur.ai/free/en/papers/paster-2023-openwebmath-open-dataset-high-quality/) 13. **[Can Language Models Solve Graph Problems in Natural Language?](https://md.research.elamur.ai/free/en/papers/wang-2023-language-models-solve-graph-problems/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Heng Wang, Shangbin Feng, Tianxing He, et al.*2023 · 124 citations* 14. **[UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression](https://md.research.elamur.ai/free/en/papers/chen-2022-unigeo-unifying-geometry-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jiaqi Chen, Tong Li, Jinghui Qin, et al.*2022 · 111 citations* 15. [**Teaching Algorithmic Reasoning via In-context Learning arXiv:2211.09066**Hattie Zhou, Azade Nova, Hugo Larochelle, et al.*2022 · 96 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2022-teaching-algorithmic-reasoning-context-learning/) 16. **[ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness](https://md.research.elamur.ai/free/en/papers/prasad-2023-receval-evaluating-reasoning-chains-correctness/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Archiki Prasad, Swarnadeep Saha, Xiang Zhou, et al.*2023 · 73 citations* 17. **[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations* 18. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations* 19. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations* 20. **[Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks](https://md.research.elamur.ai/free/en/papers/shelat-2026-beyond-memorization-testing-llm-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Shlok Shelat, Jay Raval, Souvik Roy, et al.*2026* 21. **[Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/xu-2026-reliable-use-lemmas-eligibility-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.*2026* 42 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/) — NaturalProofs: Mathematical Theorem Proving in Natural Language