![[Conference on Neurosymbolic Learning and Reasoning Logo]](/v284/assets/images/logo-pmlr.svg){kind=logo}
[edit]
Volume 284: Conference on Neurosymbolic Learning and Reasoning, 8-10 September 2025, UC Santa Cruz, Santa Cruz, CA, USA
[edit]
Editors: Leilani H. Gilpin, Eleonora Giunchiglia, Pascal Hitzler, Emile van Krieken
Adapting Graph-Based Analysis for Knowledge Extraction from Transformer Models
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1-14
Do Graph Neural Network States Contain Graph Properties?
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:15-51
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:52-69
SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:70-85
Bridging Neural and Symbolic Computation: A Learnability Study of RNNs on Counter and Dyck Languages
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:86-115
High Quality Embeddings for Horn Logic Reasoning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:116-129
Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:130-136
Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICL
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:137-159
Description Logic Concept Learning using Large Language Models
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:160-178
Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative Analysis
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:179-217
Practical Lessons on Vector-Symbolic Architectures in Deep Learning-Inspired Environments
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:218-236
Concept Probing: Where to Find Human-Defined Concepts
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:237-251
T-ILR: a Neurosymbolic Integration for LTLf
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:252-265
Hierarchical Neuro-Symbolic Decision Transformer
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:266-284
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:285-302
Understanding the Expressive Capabilities of Knowledge Base Embeddings under Box Semantics
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:303-321
Neural-Symbolic Architectural Axioms of Integration: A Manifesto
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:322-342
CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:343-352
Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:353-378
Talking to GDELT Through Knowledge Graphs
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:379-391
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:392-419
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:420-438
Exploring Verification Frameworks for Social Choice Alignment
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:439-446
A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:447-462
Disentangling Neural Disjunctive Normal Form Models
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:463-493
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:494-518
The ART of Link Prediction with KGEs
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:519-539
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:540-564
Neurosymbolic Association Rule Mining from Tabular Data
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:565-588
Neurosymbolic Tag-Based Annotation for Interpretable Avatar Creation
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:589-624
Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:625-646
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:647-673
A Comparative Analysis of Neurosymbolic Methods for Link Prediction
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:674-696
ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar Argumentation
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:697-718
Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:719-735
Distilling KGE black boxes into interpretable NeSy models
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:736-749
Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty?
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:750-776
Act-to-Ground: A Framework for Symbol Grounding in Planning Domains
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:777-795
Neurosymbolic models based on hybrids of convolutional neural networks and decision trees
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:796-813
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:814-829
Towards Explainable Depression Detection: A Neurosymbolic Approach to Uncover Social Media Signals with Generative AI
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:830-853
Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:854-872
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:873-890
Ontology-based box embeddings and knowledge graphs for predicting phenotypic traits in Saccharomyces cerevisiae
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:891-912
Neuro-Symbolic Inverse Constrained Reinforcement Learning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:913-925
MC3G: Model Agnostic Causally Constrained Counterfactual Generation
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:926-937
Neurosymbolic Learning in Structured Probability Spaces: A Case Study
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:938-956
Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:957-976
Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:977-991
An evidence-based neuro-symbolic framework for ambiguous image scene classification
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:992-1003
A Neurosymbolic Approach to Counterfactual Fairness
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1004-1025
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1026-1040
KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1041-1058
Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1059-1076
Object-Centric Neuro-Argumentative Learning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1077-1089
Neuro-Argumentative Learning with Case-Based Reasoning
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1090-1106
Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1107-1118
Evaluating Neuro-Symbolic AI Architectures: Design Principles, Qualitative Benchmark, Comparative Analysis and Results
; Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning, PMLR 284:1119-1143
subscribe via RSS