| 2025 | ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar Argumentation. | Yuqicheng Zhu, Nico Potyka, Daniel Hernndez, Yuan He, Zifeng Ding, Bo Xiong, Dongzhuoran Zhou, Evgeny Kharlamov, Steffen Staab |
| 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 | High Quality Embeddings for Horn Logic Reasoning. | Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin |
| 2025 | Adapting Graph-Based Analysis for Knowledge Extraction from Transformer Models. | Alexandre Monnier Weil, Vitor A. C. Horta, Hamza Qadeer, Alessandra Mileo |
| 2025 | Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time. | Celeste Veronese, Daniele Meli, Alessandro Farinelli |
| 2025 | Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need. | Richard Thompson, Adam Pease, Mathias Klsch, Angelos Toutsios |
| 2025 | Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative Analysis. | Sania Sinha, Tanawan Premsri, Parisa Kordjamshidi |
| 2025 | Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception. | Jingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami |
| 2025 | Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. | Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung |
| 2025 | mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework. | Daniel Romero Schellhorn, Till Mossakowski |
| 2025 | Concept Probing: Where to Find Human-Defined Concepts. | Manuel de Sousa Ribeiro, Afonso Leote, Joo Leite |
| 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 | Do Graph Neural Network States Contain Graph Properties? | Tom Pelletreau-Duris, Ruud van Bakel, Michael Cochez |
| 2025 | Distilling KGE black boxes into interpretable NeSy models. | Rodrigo Castellano Ontiveros, Francesco Giannini, Michelangelo Diligenti |
| 2025 | Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations. | Franois Olivier, Zied Bouraoui |
| 2025 | Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models. | Mrcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, Joo Marcos Flach, Lus C. Lamb, Moshe Y. Vardi |
| 2025 | Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks. | Sina Bagheri Nezhad, Ameeta Agrawal |
| 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 | An evidence-based neuro-symbolic framework for ambiguous image scene classification. | Giulia Murtas, Veselka Boeva, Elena Tsiporkova |
| 2025 | Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs. | Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi |
| 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 | Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICL. | Rushitha Santhoshi Mamidala, Anshuman Chhabra, Ankur Mali |
| 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 | Act-to-Ground: A Framework for Symbol Grounding in Planning Domains. | Panagiotis Lymperopoulos, Liping Liu |