DeepLog: A Software Framework for Modular Neurosymbolic AI

• URL: http://arxiv.org/abs/2605.10279v1
• Date: Mon, 11 May 2026 09:39:59 GMT
• Title: DeepLog: A Software Framework for Modular Neurosymbolic AI
• Abstract summary: DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch.<n>By treating diverse neurosymbolic languages as high-level specifications, the DeepLog software automatically compiles them into optimized arithmetic circuits.
• Score: 22.949052956591206
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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 as a universal backend that can emulate many systems in the neurosymbolic alphabet soup. By treating diverse neurosymbolic languages as high-level specifications, the DeepLog software automatically compiles them into optimized arithmetic circuits. This design lowers the barrier for machine learning practitioners by treating logic as composable modules, while providing neurosymbolic developers with a shared, high-performance basis for prototyping new integration strategies. The code is available here: https://github.com/ML-KULeuven/deeplog

Related papers

• DeepGraphLog for Layered Neurosymbolic AI [26.481541418952858]
  We introduce DeepGraphLog, a novel NeSy framework that extends ProbLog with Graph Neural Predicates.<n>DeepGraphLog treats symbolic representations as graphs, enabling them to be processed by Graph Neural Networks (GNNs)
  arXiv  Detail & Related papers  (2025-09-09T12:32:07Z)
• The DeepLog Neurosymbolic Machine [13.982917922302502]
  We contribute a theoretical and operational framework for neurosymbolic AI called DeepLog.<n>DeepLog introduces building blocks and primitives for neurosymbolic AI.<n>It can represent and emulate a wide range of neurosymbolic systems.
  arXiv  Detail & Related papers  (2025-08-19T09:58:24Z)
• Enhancing Symbolic Machine Learning by Subsymbolic Representations [2.4280350854512673]
  We propose to enhance symbolic machine learning schemes by giving them access to neural embeddings.<n>In experiments in three real-world domain, we show that this simple, yet effective, approach outperforms all other baseline methods in terms of the F1 score.
  arXiv  Detail & Related papers  (2025-06-17T14:26:21Z)
• Principled Approaches for Extending Neural Architectures to Function Spaces for Operator Learning [78.88684753303794]
  Deep learning has predominantly advanced through applications in computer vision and natural language processing.<n>Neural operators are a principled way to generalize neural networks to mappings between function spaces.<n>This paper identifies and distills the key principles for constructing practical implementations of mappings between infinite-dimensional function spaces.
  arXiv  Detail & Related papers  (2025-06-12T17:59:31Z)
• The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning [54.56905063752427]
  Neuro-Symbolic AI (NeSy) holds promise to ensure the safe deployment of AI systems. Existing pipelines that train the neural and symbolic components sequentially require extensive labelling. New architecture, NeSyGPT, fine-tunes a vision-language foundation model to extract symbolic features from raw data.
  arXiv  Detail & Related papers  (2024-02-02T20:33:14Z)
• SpikingJelly: An open-source machine learning infrastructure platform for spike-based intelligence [51.6943465041708]
  Spiking neural networks (SNNs) aim to realize brain-inspired intelligence on neuromorphic chips with high energy efficiency. We contribute a full-stack toolkit for pre-processing neuromorphic datasets, building deep SNNs, optimizing their parameters, and deploying SNNs on neuromorphic chips.
  arXiv  Detail & Related papers  (2023-10-25T13:15:17Z)
• Hyperdimensional Computing with Spiking-Phasor Neurons [0.9594432031144714]
  Symbolic Vector Architectures (VSAs) are a powerful framework for representing compositional reasoning. We run VSA algorithms on a substrate of spiking neurons that could be run efficiently on neuromorphic hardware.
  arXiv  Detail & Related papers  (2023-02-28T20:09:12Z)
• Neuromorphic Artificial Intelligence Systems [58.1806704582023]
  Modern AI systems, based on von Neumann architecture and classical neural networks, have a number of fundamental limitations in comparison with the brain. This article discusses such limitations and the ways they can be mitigated. It presents an overview of currently available neuromorphic AI projects in which these limitations are overcome.
  arXiv  Detail & Related papers  (2022-05-25T20:16:05Z)
• Neuro-Symbolic Learning of Answer Set Programs from Raw Data [54.56905063752427]
  Neuro-Symbolic AI aims to combine interpretability of symbolic techniques with the ability of deep learning to learn from raw data. We introduce Neuro-Symbolic Inductive Learner (NSIL), an approach that trains a general neural network to extract latent concepts from raw data. NSIL learns expressive knowledge, solves computationally complex problems, and achieves state-of-the-art performance in terms of accuracy and data efficiency.
  arXiv  Detail & Related papers  (2022-05-25T12:41:59Z)
• Neurocoder: Learning General-Purpose Computation Using Stored Neural Programs [64.56890245622822]
  Neurocoder is an entirely new class of general-purpose conditional computational machines. It "codes" itself in a data-responsive way by composing relevant programs from a set of shareable, modular programs. We show new capacity to learn modular programs, handle severe pattern shifts and remember old programs as new ones are learnt.
  arXiv  Detail & Related papers  (2020-09-24T01:39:16Z)
• Exposing Hardware Building Blocks to Machine Learning Frameworks [4.56877715768796]
  We focus on how to design topologies that complement such a view of neurons as unique functions. We develop a library that supports training a neural network with custom sparsity and quantization.
  arXiv  Detail & Related papers  (2020-04-10T14:26:00Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.