--- title: "Who cites NaturalProver: Grounded — 54 citing papers" description: "54 papers of the Elamur Research library cite «NaturalProver: Grounded Mathematical Proof Generation with Language Models», found in their…" canonical: "https://research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [NaturalProver: Grounded Mathematical Proof…](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) / cited by # Who cites «NaturalProver: Grounded Mathematical Proof Generation with Language Models» 54 papers of our library cite it (of the 149,439 whose bibliographies we read) · 20 with a page here, the most cited first · [← back to «NaturalProver: Grounded Mathematical Proof Generation with Language Models»](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) 1. **[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* 2. **[Faith and Fate: Limits of Transformers on Compositionality](https://md.research.elamur.ai/free/en/papers/dziri-2023-faith-fate-limits-transformers-compositionality/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Nouha Dziri, Ximing Lu, Melanie Sclar, et al.*2023 · 327 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. **[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* 5. [**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/) 6. [**ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoning arXiv:2212.07919**Olga Golovneva, Moya Chen, Spencer Poff, et al.*2022 · 155 citations*](https://md.research.elamur.ai/free/en/papers/golovneva-2022-roscoe-suite-metrics-scoring-step/) 7. [**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/) 8. **[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* 9. **[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* 10. **[A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains](https://md.research.elamur.ai/free/en/papers/jacovi-2024-chain-thought-is-as-strong/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Alon Jacovi, Yonatan Bitton, Bernd Bohnet, et al.*2024 · 54 citations* 11. [**From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models arXiv:2406.16838**Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2024-decoding-meta-generation-inference-time/) 12. [**ARGS: Alignment as Reward-Guided Search arXiv:2402.01694**Maxim Khanov, Jirayu Burapacheep, Yixuan Li*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/khanov-2024-args-alignment-reward-guided-search/) 13. [**Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding arXiv:2309.15028**Jiacheng Liu, Andrew Cohen, Ramakanth Pasunuru, et al.*2023 · 46 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-don-t-throw-away-value/) 14. [**Linear algebra with transformers arXiv:2112.01898**François Charton*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/charton-2021-linear-algebra-transformers/) 15. [**Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models arXiv:2308.00304**Jiaao Chen, Xiaoman Pan, Dian Yu, et al.*2023 · 17 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-skills-context-prompting-unlocking-compositionality/) 16. **[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* 17. **[What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought Reasoning](https://md.research.elamur.ai/free/en/papers/jiang-2025-what-makes-good-reasoning-chain/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Gangwei Jiang, Yahui Liu, Zhaoyi Li, et al.*2025 · 11 citations* 18. **[Examining False Positives under Inference Scaling for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/wang-2025-examining-false-positives-under-inference/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Yu Wang, Nan Yang, Liang Wang, et al.*2025 · 9 citations* 19. **[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* 20. **[Test-Time Scaling in Multimodal Foundation Models: A Comprehensive Survey of Generation and Reasoning](https://md.research.elamur.ai/free/en/papers/wan-2026-test-time-scaling-multimodal-foundation/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Cong Wan, Ying He, Zhongzhan Huang, et al.*2026* 34 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) — NaturalProver: Grounded Mathematical Proof Generation with Language Models