🔗 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»

1. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 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. OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific ProblemsAnnual Meeting of the Association for Computational Linguistics (ACL)Chaoqun He, Renjie Luo, Yuzhuo Bai, et al.2024 · 456 citations
4. Mathematical Capabilities of ChatGPTConference on Neural Information Processing Systems (NeurIPS)Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 449 citations
5. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
6. 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
7. Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-ThoughtarXiv:2210.01240Abulhair Saparov, He He2022 · 244 citations
8. LILA: A Unified Benchmark for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.2022 · 179 citations
9. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
10. SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language ModelsarXiv:2307.10635Xiaoxuan Wang, Ziniu Hu, Pan Lu, et al.2023 · 149 citations
11. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
12. OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextarXiv:2310.06786Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 132 citations
13. Can Language Models Solve Graph Problems in Natural Language?Conference on Neural Information Processing Systems (NeurIPS)Heng Wang, Shangbin Feng, Tianxing He, et al.2023 · 124 citations
14. UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical ExpressionConference on Empirical Methods in Natural Language Processing (EMNLP)Jiaqi Chen, Tong Li, Jinghui Qin, et al.2022 · 111 citations
15. Teaching Algorithmic Reasoning via In-context LearningarXiv:2211.09066Hattie Zhou, Azade Nova, Hugo Larochelle, et al.2022 · 96 citations
16. ReCEval: Evaluating Reasoning Chains via Correctness and InformativenessConference on Empirical Methods in Natural Language Processing (EMNLP)Archiki Prasad, Swarnadeep Saha, Xiang Zhou, et al.2023 · 73 citations
17. 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
18. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
20. Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation TasksFindings of the Association for Computational LinguisticsShlok Shelat, Jay Raval, Souvik Roy, et al.2026
21. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (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 top

This page in Markdown → https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/cited-by/