--- title: "Who cites Herbert A. Simon — 59 papers of our library" description: "59 papers of the Elamur Research library cite the works of Herbert A. Simon, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/herbert-a-simon/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/herbert-a-simon/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Herbert A. Simon](https://md.research.elamur.ai/free/en/authors/herbert-a-simon/) / cited by # Who cites Herbert A. Simon 63 citations of their works from 59 papers of our library (of the 149,439 whose bibliographies we read) · 22 with a page here, the most cited first · [← Herbert A. Simon](https://md.research.elamur.ai/free/en/authors/herbert-a-simon/) 1. [**Sparks of Artificial General Intelligence: Early experiments with GPT-4 arXiv:2303.12712**Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, et al.*2023 · 2,439 citations*](https://md.research.elamur.ai/free/en/papers/bubeck-2023-sparks-artificial-general-intelligence-early/) 2. **[Transformers as Soft Reasoners over Language](https://md.research.elamur.ai/free/en/papers/clark-2020-transformers-soft-reasoners-over-language/) [International Joint Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/)**Peter Clark, Oyvind Tafjord, Kyle Richardson*2020 · 382 citations* 3. [**GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models arXiv:2410.05229**Iman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.*2024 · 273 citations*](https://md.research.elamur.ai/free/en/papers/mirzadeh-2024-gsm-symbolic-understanding-limitations-mathematical/) 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. **[Neural Path Hunter: Reducing Hallucination in Dialogue Systems via Path Grounding](https://md.research.elamur.ai/free/en/papers/dziri-2021-neural-path-hunter-reducing-hallucination/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Nouha Dziri, Andrea Madotto, Osmar Zaïane, et al.*2021 · 152 citations* 6. [**A Review on Language Models as Knowledge Bases arXiv:2204.06031**Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.*2022 · 150 citations*](https://md.research.elamur.ai/free/en/papers/alkhamissi-2022-review-language-models-knowledge-bases/) 7. **[SciMON: Scientific Inspiration Machines Optimized for Novelty](https://md.research.elamur.ai/free/en/papers/wang-2023-scimon-scientific-inspiration-machines/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Qingyun Wang, Doug Downey, Heng Ji, et al.*2023 · 131 citations* 8. **[PRover: Proof Generation for Interpretable Reasoning over Rules](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.*2020 · 103 citations* 9. [**Tree Search for Language Model Agents arXiv:2407.01476**Jing Yu Koh, Stephen McAleer, Daniel Fried, et al.*2024 · 61 citations*](https://md.research.elamur.ai/free/en/papers/koh-2024-tree-search-language-model-agents/) 10. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/) 11. **[TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts](https://md.research.elamur.ai/free/en/papers/wang-2024-theoremllama-transforming-general-purpose-llms/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Jipeng Zhang, Yizhen Jia, et al.*2024 · 51 citations* 12. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 13. [**Evaluating Language Models for Mathematics through Interactions arXiv:2306.01694**Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.*2023 · 40 citations*](https://md.research.elamur.ai/free/en/papers/collins-2023-evaluating-language-models-mathematics-through/) 14. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/) 15. **[When is Tree Search Useful for LLM Planning? It Depends on the Discriminator](https://md.research.elamur.ai/free/en/papers/chen-2024-when-is-tree-search-useful/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Ziru Chen, Michael White, Ray Mooney, et al.*2024 · 28 citations* 16. [**LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover arXiv:2407.17227**Zijian Wu, Jiayu Wang, Dahua Lin, et al.*2024 · 23 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-lean-github-compiling-github-lean/) 17. **[Learning Formal Mathematics From Intrinsic Motivation](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Gabriel Poesia, David Broman, Nick Haber, et al.*2024 · 23 citations* 18. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/) 19. [**Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs arXiv:2506.19923**Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/baba-2025-prover-agent-agent-based-framework/) 20. [**Learning to Prove from Synthetic Theorems arXiv:2006.11259**Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.*2020 · 12 citations*](https://md.research.elamur.ai/free/en/papers/aygun-2020-learning-prove-synthetic-theorems/) 21. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/) 22. **[Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability](https://md.research.elamur.ai/free/en/papers/wang-2025-let-s-reason-formally-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Yuxin Li, Yi R. Fung, et al.*2025 · 7 citations* 37 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/herbert-a-simon/) — Herbert A. Simon