Who cites Herbert A. Simon
- Sparks of Artificial General Intelligence: Early experiments with GPT-4arXiv:2303.12712Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, et al.2023 · 2,439 citations
- Transformers as Soft Reasoners over LanguageInternational Joint Conference on Artificial IntelligencePeter Clark, Oyvind Tafjord, Kyle Richardson2020 · 382 citations
- GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsarXiv:2410.05229Iman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.2024 · 273 citations
- 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
- 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
- A Review on Language Models as Knowledge BasesarXiv:2204.06031Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.2022 · 150 citations
- 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
- 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
- Tree Search for Language Model AgentsarXiv:2407.01476Jing Yu Koh, Stephen McAleer, Daniel Fried, et al.2024 · 61 citations
- Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
- TheoremLlama: Transforming General-Purpose LLMs into Lean4 ExpertsConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Jipeng Zhang, Yizhen Jia, et al.2024 · 51 citations
- Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
- Evaluating Language Models for Mathematics through InteractionsarXiv:2306.01694Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.2023 · 40 citations
- A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
- 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
- LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN proverarXiv:2407.17227Zijian Wu, Jiayu Wang, Dahua Lin, et al.2024 · 23 citations
- Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
- 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
- Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
- Learning to Prove from Synthetic TheoremsarXiv:2006.11259Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.2020 · 12 citations
- Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
- 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
This page in Markdown → https://md.research.elamur.ai/free/en/authors/herbert-a-simon/cited-by/