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

1. Mathematical Capabilities of ChatGPTConference on Neural Information Processing Systems (NeurIPS)Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 449 citations
2. Faith and Fate: Limits of Transformers on CompositionalityConference on Neural Information Processing Systems (NeurIPS)Nouha Dziri, Ximing Lu, Melanie Sclar, et al.2023 · 327 citations
3. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
4. 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
5. 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
6. ROSCOE: A Suite of Metrics for Scoring Step-by-Step ReasoningarXiv:2212.07919Olga Golovneva, Moya Chen, Spencer Poff, et al.2022 · 155 citations
7. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
8. 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
9. 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
10. A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning ChainsAnnual Meeting of the Association for Computational Linguistics (ACL)Alon Jacovi, Yonatan Bitton, Bernd Bohnet, et al.2024 · 54 citations
11. From Decoding to Meta-Generation: Inference-time Algorithms for Large Language ModelsarXiv:2406.16838Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.2024 · 51 citations
12. ARGS: Alignment as Reward-Guided SearcharXiv:2402.01694Maxim Khanov, Jirayu Burapacheep, Yixuan Li2024 · 46 citations
13. Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingarXiv:2309.15028Jiacheng Liu, Andrew Cohen, Ramakanth Pasunuru, et al.2023 · 46 citations
14. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
15. Skills-in-Context Prompting: Unlocking Compositionality in Large Language ModelsarXiv:2308.00304Jiaao Chen, Xiaoman Pan, Dian Yu, et al.2023 · 17 citations
16. 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
17. What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Gangwei Jiang, Yahui Liu, Zhaoyi Li, et al.2025 · 11 citations
18. Examining False Positives under Inference Scaling for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Yu Wang, Nan Yang, Liang Wang, et al.2025 · 9 citations
19. 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
20. Test-Time Scaling in Multimodal Foundation Models: A Comprehensive Survey of Generation and ReasoningFindings of the Association for Computational LinguisticsCong Wan, Ying He, Zhongzhan Huang, et al.2026

34 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-2022-naturalprover-grounded-mathematical-proof-generation/cited-by/