| 2025 | Evaluating Neuro-Symbolic AI Architectures: Design Principles, Qualitative Benchmark, Comparative Analysis and Results. | Oualid Bougzime, Samir Jabbar, Christophe Cruz, Frdric Demoly |
| 2025 | Disentangling Neural Disjunctive Normal Form Models. | Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo |
| 2025 | Description Logic Concept Learning using Large Language Models. | Adrita Barua, Pascal Hitzler |
| 2025 | Hierarchical Neuro-Symbolic Decision Transformer. | Ali Baheri, Cecilia O. Alm |
| 2025 | Bayesian Inverse Physics for Neuro-Symbolic Robot Learning. | Octavio Arriaga, Rebecca Adam, Melvin Laux, Lisa Gutzeit, Marco Ragni, Jan Peters, Frank Kirchner |
| 2025 | T-ILR: a Neurosymbolic Integration for LTLf. | Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani |
| 2025 | SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. | Ivo Amador, Nina Gierasimczuk |
| 2025 | Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. | Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth |
| 2024 | Lattice-Preserving | Fernando Zhapa-Camacho, Robert Hoehndorf |
| 2024 | Context Helps: Integrating Context Information with Videos in a Graph-Based HAR Framework. | Binxia Xu, Antonis Bikakis, Daniel F. O. Onah, Andreas Vlachidis, Luke Dickens |
| 2024 | Metacognitive AI: Framework and the Case for a Neurosymbolic Approach. | Hua Wei, Paulo Shakarian, Christian Lebiere, Bruce A. Draper, Nikhil Krishnaswamy, Sergei Nirenburg |
| 2024 | ProSLM: A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering. | Priyesh Vakharia, Abigail Kufeldt, Max Meyers, Ian Lane, Leilani H. Gilpin |
| 2024 | Terminating Differentiable Tree Experts. | Jonathan Thomm, Michael Hersche, Giacomo Camposampiero, Aleksandar Terzic, Bernhard Schlkopf, Abbas Rahimi |
| 2024 | ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. | Weizhi Tang, Vaishak Belle |
| 2024 | Experiments with LLMs for Converting Language to Logic. | Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim |
| 2024 | ViPro: Enabling and Controlling Video Prediction for Complex Dynamical Scenarios Using Procedural Knowledge. | Patrick Takenaka, Johannes Maucher, Marco F. Huber |
| 2024 | IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements. | Maarten C. Stol, Alessandra Mileo |
| 2024 | Enhancing Logical Tensor Networks: Integrating Uninorm-Based Fuzzy Operators for Complex Reasoning. | Paulo Vitor de Campos Souza, Gianluca Apriceno, Mauro Dragoni |
| 2024 | Enhancing GPT-Based Planning Policies by Model-Based Plan Validation. | Nicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Matteo Olivato, Luca Putelli, Ivan Serina |
| 2024 | Towards Understanding Graph Neural Networks: Functional-Semantic Activation Mapping. | Kislay Raj, Alessandra Mileo |
| 2024 | Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models. | Paulo Pirozelli, Marcos M. Jos, Paulo de Tarso P. Filho, Anarosa A. F. Brando, Fbio G. Cozman |
| 2024 | Enhancing Neuro-Symbolic Integration with Focal Loss: A Study on Logic Tensor Networks. | Luca Piano, Francesco Manigrasso, Alessandro Sebastian Russo, Lia Morra |
| 2024 | Variable Assignment Invariant Neural Networks for Learning Logic Programs. | Yin Jun Phua, Katsumi Inoue |
| 2024 | Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships. | Dagmara Panas, Sohan Seth, Vaishak Belle |
| 2024 | Enhancing Geometric Ontology Embeddings for | Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf |