🧑‍🔬 Who cites Allen Newell

84 citations of their works from 79 papers of our library (of the 149,439 whose bibliographies we read) · 14 with a page here, the most cited first · ← Allen Newell

1. Sparks of Artificial General Intelligence: Early experiments with GPT-4arXiv:2303.12712Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, et al.2023 · 2,439 citations
2. Transformers as Soft Reasoners over LanguageInternational Joint Conference on Artificial IntelligencePeter Clark, Oyvind Tafjord, Kyle Richardson2020 · 382 citations
3. GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsarXiv:2410.05229Iman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.2024 · 273 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. Neural Path Hunter: Reducing Hallucination in Dialogue Systems via Path GroundingConference on Empirical Methods in Natural Language Processing (EMNLP)Nouha Dziri, Andrea Madotto, Osmar Zaïane, et al.2021 · 152 citations
6. A Review on Language Models as Knowledge BasesarXiv:2204.06031Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.2022 · 150 citations
7. SciMON: Scientific Inspiration Machines Optimized for NoveltyAnnual Meeting of the Association for Computational Linguistics (ACL)Qingyun Wang, Doug Downey, Heng Ji, et al.2023 · 131 citations
8. PRover: Proof Generation for Interpretable Reasoning over RulesConference on Empirical Methods in Natural Language Processing (EMNLP)Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.2020 · 103 citations
9. Tree Search for Language Model AgentsarXiv:2407.01476Jing Yu Koh, Stephen McAleer, Daniel Fried, et al.2024 · 61 citations
10. When is Tree Search Useful for LLM Planning? It Depends on the DiscriminatorAnnual Meeting of the Association for Computational Linguistics (ACL)Ziru Chen, Michael White, Ray Mooney, et al.2024 · 28 citations
11. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
12. A computational account of comparative implicatures for a spoken dialogue agentInternational Conference on Computational SemanticsLuciana Benotti, David Traum2009 · 11 citations
13. Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Yuxin Li, Yi R. Fung, et al.2025 · 7 citations
14. If an LLM Were a Character, Would It Know Its Own Story? Evaluating Lifelong Learning in LLMsAnnual Meeting of the Association for Computational Linguistics (ACL)Siqi Fan, Xiusheng Huang, Yiqun Yao, et al.2026 · 5 citations

65 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/allen-newell/cited-by/