paper-with-me

Papers

Neurosymbolic Diffusion Models

2025-05-19 · Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari

Neurosymbolic (NeSy) predictors combine neural perception with symbolic reasoning to solve tasks like visual reasoning. However, standard NeSy predictors assume conditional independence between the symbols they extract, thus limiting their ability to model interactions and uncertainty - often leading to overconfident predictions and poor out-of-distribution generalisation. To overcome the limitations of the independence assumption, we introduce neurosymbolic diffusion models (NeSyDMs), a new class of NeSy predictors that use discrete diffusion to model dependencies between symbols. Our approach reuses the independence assumption from NeSy predictors at each step of the diffusion process, enabling scalable learning while capturing symbol dependencies and uncertainty quantification. Across both synthetic and real-world benchmarks - including high-dimensional visual path planning and rule-based autonomous driving - NeSyDMs achieve state-of-the-art accuracy among NeSy predictors and demonstrate strong calibration.

📄 PDF Abstract BibTeX arXiv:2505.13138

Code (1)

HEmile/neurosymbolic-diffusion 공식 구현 pytorch

Tasks

Autonomous DrivingUncertainty QuantificationVisual Reasoning

Methods 이 논문이 사용한 방법론

Diffusion Diffusion models generate samples by gradually removing noise from a signal, and their training objective can be expressed as a reweighted variational lower-bound…

Similar Papers 제목 키워드 기반

Defining neurosymbolic AI

2025-07-15 · Lennert De Smet, Luc De Raedt arxiv

Neurosymbolic AI focuses on integrating learning and reasoning, in particular, on unifying logical and neural representations. Despite the existence of an alphabet soup of neurosymbolic AI systems, the field is lacking a…

Neurosymbolic Reinforcement Learning and Planning: A Survey

2023-09-02 · K. Acharya, W. Raza, C. M. J. M. Dourado Jr, A. Velasquez 외

The area of Neurosymbolic Artificial Intelligence (Neurosymbolic AI) is rapidly developing and has become a popular research topic, encompassing sub-fields such as Neurosymbolic Deep Learning (Neurosymbolic DL) and Neuro…

reinforcement-learningReinforcement LearningReinforcement Learning (RL)Survey

DeepLog: A Software Framework for Modular Neurosymbolic AI

2026-05-11 · Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen, Rik Adriaensen 외 arxiv

DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular paradigm and semantics, DeepLog serves …

The DeepLog Neurosymbolic Machine

2025-08-19 · Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet 외 arxiv

We contribute a theoretical and operational framework for neurosymbolic AI called DeepLog. DeepLog introduces building blocks and primitives for neurosymbolic AI that make abstraction of commonly used representations and…

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

2024-01-06 · Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez 외

Neurosymbolic artificial intelligence (AI) is an emerging branch of AI that combines the strengths of symbolic AI and sub-symbolic AI. A major drawback of sub-symbolic AI is that it acts as a "black box", meaning that pr…