🔗 Who cites «The logic theory machine: A complex information processing system»

39 papers of our library cite it (of the 149,439 whose bibliographies we read) · 10 with a page here, the most cited first · ← back to «The logic theory machine: A complex information processing system»

1. Transformers as Soft Reasoners over LanguageInternational Joint Conference on Artificial IntelligencePeter Clark, Oyvind Tafjord, Kyle Richardson2020 · 382 citations
2. GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsarXiv:2410.05229Iman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.2024 · 273 citations
3. 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
4. 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
5. A Review on Language Models as Knowledge BasesarXiv:2204.06031Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.2022 · 150 citations
6. 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
7. 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
8. 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
9. 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
10. 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

29 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/cited-by/