Fetching the paper…
Reading the bibliography…
A recent approach to neurosymbolic reasoning is to explicitly combine the strengths of large language models (LLMs) and symbolic solvers to tackle complex reasoning tasks.
In Maria Garcia de la Banda & Enrico Pontelli, editors: Logic Programming
Marc Denecker & Joost Vennekens (2008): Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic · 2008
Earlier work this paper cites.
Communications of the ACM
Gerhard Brewka, Thomas Eiter & Mirosław Truszczyński (2011): Answer set programming at a glance · 2011
Earlier work this paper cites.
Farrar, Straus and Giroux
Daniel Kahneman (2011): Thinking, Fast and Slow · 2011
Earlier work this paper cites.
In: Proceedings of the 13th IEEE Conference on Semantic Computing
Marjolein Deryck, Jo Devriendt, Simon Marynissen & Joost Vennekens (2019): Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties · 2019
Earlier work this paper cites.
In: Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)
Nils Reimers & Iryna Gurevych (2019): Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks · 2019
Earlier work this paper cites.
Expert Systems with Applications
Bram Aerts, Marjolein Deryck & Joost Vennekens (2022): Knowledge-based decision support for machine component design: A case study · 2021
Earlier work this paper cites.
In: Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency
Emily M. Bender, Timnit Gebru, Angelina McMillan-Major & Shmargaret Shmitchell (2021): On the Dangers of Stochastic Parrots: Can Language Models Be Too Big? · 2021
Earlier work this paper cites.
In Chengqing Zong, Fei Xia, Wenjie Li & Roberto Navigli, editors: Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021
Oyvind Tafjord, Bhavana Dalvi & Peter Clark (2021): ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language · 2021
Earlier work this paper cites.
arXiv preprint arXiv:2209.00840
Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Wenfei Zhou, James Coady, David Peng, Yujie Qiao, Luke Benson et al. (2022): Folio: Natural language reasoning with first-order logic · 2022
Earlier work this paper cites.
arXiv preprint arXiv:2210.01240
Abulhair Saparov & He He (2022): Language models are greedy reasoners: A systematic formal analysis of chain-of-thought · 2022
Earlier work this paper cites.
arXiv preprint arXiv:2206.04615
Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Md Shoeb, Abubakar Abid, Adam Fisch, Adam R. Brown, Adam Santoro, Aditya Gupta, Garriga-Alonso et al. (2022): Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models · 2022
Earlier work this paper cites.
In Georg Gottlob, Daniela Inclezan & Marco Maratea, editors: Logic Programming and Nonmonotonic Reasoning
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters & Joost Vennekens (2022): Knowledge-Based Support for Adhesive Selection · 2022
Cited alongside, same era.
Available at https://gitlab.com/krr/IDP-Z3/-/tree/main/folint
Lars Vermeulen, Simon Vandevelde & Joost Vennekens (2022): FOLINT: static code analysis for FO(.) · 2022
Cited alongside, same era.
arXiv preprint arXiv:2303.08774
Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat et al. (2023): Gpt-4 technical report · 2023
Cited alongside, same era.
arXiv preprint arXiv:2202.00343
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens & Marc Denecker (2023): Interactive configurator with FO(.) and IDP-Z3 · 2023
Cited alongside, same era.
In Houda Bouamor, Juan Pino & Kalika Bali, editors: Findings of the Association for Computational Linguistics: EMNLP 2023
Liangming Pan, Alon Albalak, Xinyi Wang & William Wang (2023): Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning · 2023
Later among the works it cites.
arXiv preprint arXiv:2312.11805
Team Gemini, Rohan Anil, Sebastian Borgeaud, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M Dai, Anja Hauth, Katie Millican et al. (2023): Gemini: a family of highly capable multimodal models · 2023
Later among the works it cites.
In: Findings of the Association for Computational Linguistics: ACL 2023
Zhun Yang, Adam Ishay & Joohyung Lee (2023): Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text · 2023
Later among the works it cites.
arXiv preprint arXiv:2404.14219
Marah Abdin, Sam Ade Jacobs, Ammar Ahmad Awan, Jyoti Aneja, Ahmed Awadallah, Hany Awadalla, Nguyen Bach, Amit Bahree, Arash Bakhtiari, Harkirat Behl et al. (2024): Phi-3 technical report: A highly capable language model locally on your phone · 2024
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Xinyun Chen, Maxwell Lin, Nathanael Schärli & Denny Zhou (2023): Teaching large language models to self-debug · 2023
Cited alongside, same era.
Available at https://github.com/ggerganov/llama.cpp
G. Gerganov (2023): llama.cpp: LLM inference in C/C++ · 2023
Cited alongside, same era.
In: Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 Co-Located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as Part of Declarative AI 2023
Alexandre Goossens, Simon Vandevelde, Jan Vanthienen & Joost Vennekens (2023): GPT-3 for Decision Logic Modeling · 2023
Cited alongside, same era.
In: Findings of the Association for Computational Linguistics: ACL 2023
Jie Huang & Kevin Chen-Chuan Chang (2023): Towards Reasoning in Large Language Models: A Survey · 2023
Cited alongside, same era.
In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
Adam Ishay, Zhun Yang & Joohyung Lee (2023): Leveraging Large Language Models to Generate Answer Set Programs · 2023
Cited alongside, same era.
In A. Oh, T. Naumann, A. Globerson, K. Saenko, M. Hardt & S. Levine, editors: Advances in Neural Information Processing Systems
Aman Madaan, Niket Tandon, Prakhar Gupta, Skyler Hallinan, Luyu Gao, Sarah Wiegreffe, Uri Alon, Nouha Dziri, Shrimai Prabhumoye, Yiming Yang, Shashank Gupta, Bodhisattwa Prasad Majumder, Katherine Hermann, Sean Welleck, Amir Yazdanbakhsh & Peter Clark (2023): Self-Refine: Iterative Refinement with Self-Feedback · 2023
Cited alongside, same era.
In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing
Theo Olausson, Alex Gu, Ben Lipkin, Cedegao Zhang, Armando Solar-Lezama, Joshua Tenenbaum & Roger Levy (2023): LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers · 2023
Cited alongside, same era.
arXiv preprint arXiv:2407.11511
Aske Plaat, Annie Wong, Suzan Verberne, Joost Broekens, Niki van Stein & Thomas Back (2024): Multi-Step Reasoning with Large Language Models, a Survey · 2024
Later among the works it cites.
Theory and Practice of Logic Programming
Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck & Maarten Witters (2024): Knowledge-Based Support for Adhesive Selection: Will it Stick? · 2024
Later among the works it cites.
Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Association for Computational Linguistics, Mexico City, Mexico, pp. 1819–1862, 10.18653/v1/2024.Naacl-Long.102
Zhaofeng Wu, Linlu Qiu, Alexis Ross, Ekin Akyürek, Boyuan Chen, Bailin Wang, Najoung Kim, Jacob Andreas & Yoon Kim (2024): Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks · 2024
Later among the works it cites.
In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
Jundong Xu, Hao Fei, Liangming Pan, Qian Liu, Mong-Li Lee & Wynne Hsu (2024): Faithful Logical Reasoning via Symbolic Chain-of-Thought · 2024
Later among the works it cites.
arXiv preprint arXiv:2506.06941
Parshin Shojaee, Iman Mirzadeh, Keivan Alizadeh, Maxwell Horton, Samy Bengio & Mehrdad Farajtabar (2025): The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity · 2025
Closest in time.
In: Proceedings of HHAI 2025
Stijn Voet, Christian Fleiner & Simon Vandevelde (2025-04-18): Towards Knowledge Formalization for Domain Experts using LLMs · 2025
Closest in time.