| 2025 | A Comparative Analysis of Neurosymbolic Methods for Link Prediction. Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Genevès |
| 2025 | A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning. Michael K. Chen |
| 2025 | A Neurosymbolic Approach to Counterfactual Fairness. Xenia Heilmann, Chiara Manganini, Mattia Cerrato, Vaishak Belle |
| 2025 | A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification. Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio |
| 2025 | Act-to-Ground: A Framework for Symbol Grounding in Planning Domains. Panagiotis Lymperopoulos, Liping Liu |
| 2025 | Adapting Graph-Based Analysis for Knowledge Extraction from Transformer Models. Alexandre Monnier Weil, Vitor A. C. Horta, Hamza Qadeer, Alessandra Mileo |
| 2025 | An evidence-based neuro-symbolic framework for ambiguous image scene classification. Giulia Murtas, Veselka Boeva, Elena Tsiporkova |
| 2025 | ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar Argumentation. Yuqicheng Zhu, Nico Potyka, Daniel Hernández, Yuan He, Zifeng Ding, Bo Xiong, Dongzhuoran Zhou, Evgeny Kharlamov, Steffen Staab |
| 2025 | Bayesian Inverse Physics for Neuro-Symbolic Robot Learning. Octavio Arriaga, Rebecca Adam, Melvin Laux, Lisa Gutzeit, Marco Ragni, Jan Peters, Frank Kirchner |
| 2025 | Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs. Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi |
| 2025 | Bridging Neural and Symbolic Computation: A Learnability Study of RNNs on Counter and Dyck Languages. Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali |
| 2025 | CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding. Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur |
| 2025 | Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty? Giacomo Camposampiero, Michael Hersche, Roger Wattenhofer, Abu Sebastian, Abbas Rahimi |
| 2025 | Concept Probing: Where to Find Human-Defined Concepts. Manuel de Sousa Ribeiro, Afonso Leote, João Leite |
| 2025 | Description Logic Concept Learning using Large Language Models. Adrita Barua, Pascal Hitzler |
| 2025 | Disentangling Neural Disjunctive Normal Form Models. Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo |
| 2025 | Distilling KGE black boxes into interpretable NeSy models. Rodrigo Castellano Ontiveros, Francesco Giannini, Michelangelo Diligenti |
| 2025 | Do Graph Neural Network States Contain Graph Properties? Tom Pelletreau-Duris, Ruud van Bakel, Michael Cochez |
| 2025 | Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks. Sina Bagheri Nezhad, Ameeta Agrawal |
| 2025 | Evaluating Neuro-Symbolic AI Architectures: Design Principles, Qualitative Benchmark, Comparative Analysis and Results. Oualid Bougzime, Samir Jabbar, Christophe Cruz, Frédéric Demoly |
| 2025 | Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning. Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen |
| 2025 | Exploring Verification Frameworks for Social Choice Alignment. Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya |
| 2025 | Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung |
| 2025 | Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception. Jingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami |
| 2025 | Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need. Richard Thompson, Adam Pease, Mathias Kölsch, Angelos Toutsios |
| 2025 | Hierarchical Neuro-Symbolic Decision Transformer. Ali Baheri, Cecilia O. Alm |
| 2025 | High Quality Embeddings for Horn Logic Reasoning. Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin |
| 2025 | JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents. Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang |
| 2025 | KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis. Reilly Haskins, Benjamin Adams |
| 2025 | Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time. Celeste Veronese, Daniele Meli, Alessandro Farinelli |
| 2025 | Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems. Aniruddha Chattopadhyay, Raj Dandekar, Kaushik Roy |
| 2025 | Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products. Ruipeng Liu, Qinru Qiu, Simon Khan, Garrett Ethan Katz |
| 2025 | MC3G: Model Agnostic Causally Constrained Counterfactual Generation. Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta |
| 2025 | Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. Balaji Rao, William Eiers, Carlo Lipizzi |
| 2025 | Neural-Symbolic Architectural Axioms of Integration: A Manifesto. Connor Pryor, Lise Getoor |
| 2025 | Neuro-Argumentative Learning with Case-Based Reasoning. Adam Gould, Francesca Toni |
| 2025 | Neuro-Symbolic Inverse Constrained Reinforcement Learning. Oliver Deane, Oliver Ray |
| 2025 | Neurosymbolic Association Rule Mining from Tabular Data. Erkan Karabulut, Paul Groth, Victoria Degeler |
| 2025 | Neurosymbolic Learning in Structured Probability Spaces: A Case Study. Ole Fenske, Sebastian Bader, Thomas Kirste |
| 2025 | Neurosymbolic Reasoning Shortcuts under the Independence Assumption. Emile van Krieken, Pasquale Minervini, Edoardo M. Ponti, Antonio Vergari |
| 2025 | Neurosymbolic Tag-Based Annotation for Interpretable Avatar Creation. Minghao Liu, Zeyu Cheng, Shen Sang, Jing Liu, James Davis |
| 2025 | Neurosymbolic models based on hybrids of convolutional neural networks and decision trees. Rasul Kairgeldin, Miguel Á. Carreira-Perpiñán |
| 2025 | Object-Centric Neuro-Argumentative Learning. Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni |
| 2025 | Ontology-based box embeddings and knowledge graphs for predicting phenotypic traits in Saccharomyces cerevisiae. Filip Kronström, Daniel Brunnsåker, Ievgeniia A. Tiukova, Ross D. King |
| 2025 | Practical Lessons on Vector-Symbolic Architectures in Deep Learning-Inspired Environments. Francesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi |
| 2025 | Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 8-10 September 2025, Santa Cruz, CA, USA Leilani H. Gilpin, Eleonora Giunchiglia, Pascal Hitzler, Emile van Krieken |
| 2025 | Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICL. Rushitha Santhoshi Mamidala, Anshuman Chhabra, Ankur Mali |
| 2025 | Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth |
| 2025 | SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. Ivo Amador, Nina Gierasimczuk |
| 2025 | SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing. Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song |
| 2025 | T-ILR: a Neurosymbolic Integration for LTLf. Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani |
| 2025 | Talking to GDELT Through Knowledge Graphs. Audun D. Myers, Max Vargas, Sinan G. Aksoy, Cliff A. Joslyn, Benjamin Wilson, Lee Burke, Tom Grimes |
| 2025 | The ART of Link Prediction with KGEs. Yannick Brunink, Michael Cochez, Jacopo Urbani |
| 2025 | Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative Analysis. Sania Sinha, Tanawan Premsri, Parisa Kordjamshidi |
| 2025 | Towards Explainable Depression Detection: A Neurosymbolic Approach to Uncover Social Media Signals with Generative AI. Mohammad Saeid Mahdavinejad, Peyman Adibi, Amirhassan Monajemi, Pascal Hitzler |
| 2025 | Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations. François Olivier, Zied Bouraoui |
| 2025 | Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models. Márcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luís C. Lamb, Moshe Y. Vardi |
| 2025 | Understanding the Expressive Capabilities of Knowledge Base Embeddings under Box Semantics. Mena Leemhuis, Oliver Kutz |
| 2025 | mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework. Daniel Romero Schellhorn, Till Mossakowski |