--- title: "Who cites The logic theory machine: A — 39 citing papers" description: "39 papers of the Elamur Research library cite «The logic theory machine: A complex information processing system», found in their…" canonical: "https://research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [The logic theory machine: A complex information…](https://md.research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/) / cited by # 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»](https://md.research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/) 1. **[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* 2. [**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/) 3. **[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* 4. **[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* 5. [**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/) 6. **[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* 7. **[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* 8. **[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* 9. [**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/) 10. **[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* 29 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/newell-1956-logic-theory-machine-complex-information/) — The logic theory machine: A complex information processing system