Table of Contents

• Adapting Graph-Based Analysis for Knowledge Extraction from Transformer ModelsAlexandre Monnier Weil, Vitor A. C. Horta, Hamza Qadeer, Alessandra Mileo. 1-14 [doi]
• Do Graph Neural Network States Contain Graph Properties?Tom Pelletreau-Duris, Ruud van Bakel, Michael Cochez. 15-51 [doi]
• A Scalable Approach to Probabilistic Neuro-Symbolic Robustness VerificationVasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio. 52-69 [doi]
• SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement LearningIvo Amador, Nina Gierasimczuk. 70-85 [doi]
• Bridging Neural and Symbolic Computation: A Learnability Study of RNNs on Counter and Dyck LanguagesNeisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali. 86-115 [doi]
• High Quality Embeddings for Horn Logic ReasoningYifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin. 116-129 [doi]
• Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You NeedRichard Thompson, Adam Pease, Mathias Kölsch, Angelos Toutsios. 130-136 [doi]
• Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICLRushitha Santhoshi Mamidala, Anshuman Chhabra, Ankur Mali. 137-159 [doi]
• Description Logic Concept Learning using Large Language ModelsAdrita Barua, Pascal Hitzler. 160-178 [doi]
• Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative AnalysisSania Sinha, Tanawan Premsri, Parisa KordJamshidi. 179-217 [doi]
• Practical Lessons on Vector-Symbolic Architectures in Deep Learning-Inspired EnvironmentsFrancesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi. 218-236 [doi]
• Concept Probing: Where to Find Human-Defined ConceptsManuel de Sousa Ribeiro, Afonso Leote, João Leite 0001. 237-251 [doi]
• T-ILR: a Neurosymbolic Integration for LTLfRiccardo Andreoni, Andrei Buliga 0001, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani. 252-265 [doi]
• Hierarchical Neuro-Symbolic Decision TransformerAli Baheri, Cecilia O. Alm. 266-284 [doi]
• Neurosymbolic Reasoning Shortcuts under the Independence AssumptionEmile van Krieken, Pasquale Minervini, Edoardo M. Ponti, Antonio Vergari. 285-302 [doi]
• Understanding the Expressive Capabilities of Knowledge Base Embeddings under Box SemanticsMena Leemhuis, Oliver Kutz. 303-321 [doi]
• Neural-Symbolic Architectural Axioms of Integration: A ManifestoConnor Pryor, Lise Getoor. 322-342 [doi]
• CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance GroundingZhou Chen, Joe Lin, Sathyanarayanan N. Aakur. 343-352 [doi]
• Generating Safety-Critical Automotive C-programs using LLMs with Formal VerificationMerlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung. 353-378 [doi]
• Talking to GDELT Through Knowledge GraphsAudun D. Myers, Max Vargas, Sinan G. Aksoy, Cliff A. Joslyn, Benjamin Wilson, Lee Burke, Tom Grimes. 379-391 [doi]
• Sound and Complete Neurosymbolic Reasoning with LLM-Grounded InterpretationsBradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth. 392-419 [doi]
• Towards a Neurosymbolic Reasoning System Grounded in Schematic RepresentationsFrançois Olivier, Zied Bouraoui. 420-438 [doi]
• Exploring Verification Frameworks for Social Choice AlignmentJessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya. 439-446 [doi]
• A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical ReasoningMichael K. Chen. 447-462 [doi]
• Disentangling Neural Disjunctive Normal Form ModelsKexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo. 463-493 [doi]
• mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER FrameworkDaniel Romero Schellhorn, Till Mossakowski. 494-518 [doi]
• The ART of Link Prediction with KGEsYannick Brunink, Michael Cochez, Jacopo Urbani. 519-539 [doi]
• SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query RoutingSafayat Bin Hakim, Muhammad Adil 0002, Alvaro Velasquez, Houbing Herbert Song. 540-564 [doi]
• Neurosymbolic Association Rule Mining from Tabular DataErkan Karabulut, Paul Groth, Victoria Degeler. 565-588 [doi]
• Neurosymbolic Tag-Based Annotation for Interpretable Avatar CreationMinghao Liu 0009, Zeyu Cheng, Shen Sang, Jing Liu 0053, James Davis 0001. 589-624 [doi]
• Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge GraphsMargherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi. 625-646 [doi]
• JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied AgentsKaizhi Zheng, Kaiwen Zhou 0002, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang. 647-673 [doi]
• A Comparative Analysis of Neurosymbolic Methods for Link PredictionGuillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Genevès. 674-696 [doi]
• ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar ArgumentationYuqicheng Zhu, Nico Potyka, Daniel Hernández 0002, Yuan He 0008, Zifeng Ding, Bo Xiong 0001, Dongzhuoran Zhou, Evgeny Kharlamov, Steffen Staab. 697-718 [doi]
• Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic ModelsMárcio Nicolau, Anderson R. Tavares, Zhiwei Zhang 0001, Pedro H. C. Avelar, João Marcos Flach, Luis C. Lamb, Moshe Y. Vardi. 719-735 [doi]
• Distilling KGE black boxes into interpretable NeSy modelsRodrigo Castellano Ontiveros, Francesco Giannini, Michelangelo Diligenti. 736-749 [doi]
• Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty?Giacomo Camposampiero, Michael Hersche, Roger Wattenhofer, Abu Sebastian, Abbas Rahimi. 750-776 [doi]
• Act-to-Ground: A Framework for Symbol Grounding in Planning DomainsPanagiotis Lymperopoulos, Liping Liu 0001. 777-795 [doi]
• Neurosymbolic models based on hybrids of convolutional neural networks and decision treesRasul Kairgeldin, Miguel Á. Carreira-Perpiñán. 796-813 [doi]
• Neural Theorem Proving: Generating and Structuring Proofs for Formal VerificationBalaji Rao, William Eiers, Carlo Lipizzi. 814-829 [doi]
• Towards Explainable Depression Detection: A Neurosymbolic Approach to Uncover Social Media Signals with Generative AIMohammad Saeid Mahdavinejad, Peyman Adibi, Amirhassan Monajemi, Pascal Hitzler. 830-853 [doi]
• Bayesian Inverse Physics for Neuro-Symbolic Robot LearningOctavio Arriaga, Rebecca Adam, Melvin Laux, Lisa Gutzeit, Marco Ragni, Jan Peters 0001, Frank Kirchner. 854-872 [doi]
• Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual PerceptionJingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami. 873-890 [doi]
• Ontology-based box embeddings and knowledge graphs for predicting phenotypic traits in Saccharomyces cerevisiaeFilip Kronström, Daniel Brunnsåker, Ievgeniia A. Tiukova, Ross D. King. 891-912 [doi]
• Neuro-Symbolic Inverse Constrained Reinforcement LearningOliver Deane, Oliver Ray. 913-925 [doi]
• MC3G: Model Agnostic Causally Constrained Counterfactual GenerationSopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001. 926-937 [doi]
• Neurosymbolic Learning in Structured Probability Spaces: A Case StudyOle Fenske, Sebastian Bader 0001, Thomas Kirste. 938-956 [doi]
• Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence SystemsAniruddha Chattopadhyay, Raj Dandekar, Kaushik Roy. 957-976 [doi]
• Explainable Zero-Shot Visual Question Answering via Logic-Based ReasoningThomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen. 977-991 [doi]
• An evidence-based neuro-symbolic framework for ambiguous image scene classificationGiulia Murtas, Veselka Boeva, Elena Tsiporkova. 992-1003 [doi]
• A Neurosymbolic Approach to Counterfactual FairnessXenia Heilmann, Chiara Manganini, Mattia Cerrato, Vaishak Belle. 1004-1025 [doi]
• Learning Symbolic Persistent Macro-Actions for POMDP Solving Over TimeCeleste Veronese, Daniele Meli, Alessandro Farinelli. 1026-1040 [doi]
• KEA Explain: Explanations of Hallucinations using Graph Kernel AnalysisReilly Haskins, Benjamin Adams. 1041-1058 [doi]
• Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual TasksSina Bagheri Nezhad, Ameeta Agrawal. 1059-1076 [doi]
• Object-Centric Neuro-Argumentative LearningAbdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni. 1077-1089 [doi]
• Neuro-Argumentative Learning with Case-Based ReasoningAdam Gould, Francesca Toni. 1090-1106 [doi]
• Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation ProductsRuipeng Liu, Qinru Qiu, Simon Khan, Garrett Ethan Katz. 1107-1118 [doi]
• Evaluating Neuro-Symbolic AI Architectures: Design Principles, Qualitative Benchmark, Comparative Analysis and ResultsOualid Bougzime, Samir Jabbar, Christophe Cruz, Frédéric Demoly. 1119-1143 [doi]