Cover Image

DeepLog: A Software Framework for Modular Neurosymbolic AI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Manhaeve, Robin, Colamonaco, Stefano, Derkinderen, Vincent, Adriaensen, Rik, Van Praet, Lucas, De Raedt, Luc, Marra, Giuseppe
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

DeepGraphLog for Layered Neurosymbolic AI
by: Kikaj, Adem, et al.
Published: (2025)

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
by: Adriaensen, Rik, et al.
Published: (2025)

On the Hardness of Probabilistic Neurosymbolic Learning
by: Maene, Jaron, et al.
Published: (2024)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)

Relational Neurosymbolic Markov Models
by: De Smet, Lennert, et al.
Published: (2024)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Neurosymbolic Object-Centric Learning with Distant Supervision
by: Colamonaco, Stefano, et al.
Published: (2025)

Valid Text-to-SQL Generation with Unification-based DeepStochLog
by: Jiao, Ying, et al.
Published: (2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
by: Maene, Jaron, et al.
Published: (2024)

NeSyA: Neurosymbolic Automata
by: Manginas, Nikolaos, et al.
Published: (2024)

Prototype-Grounded Concept Models for Verifiable Concept Alignment
by: Colamonaco, Stefano, et al.
Published: (2026)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
by: Jiao, Ying, et al.
Published: (2025)

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2024)

Unifying Self-Supervised Clustering and Energy-Based Models
by: Sansone, Emanuele, et al.
Published: (2023)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

The Gradient of Algebraic Model Counting
by: Maene, Jaron, et al.
Published: (2025)

Extracting Moore Machines from Transformers using Queries and Counterexamples
by: Adriaensen, Rik, et al.
Published: (2024)

Wind speed super-resolution and validation: from ERA5 to CERRA via diffusion models
by: Merizzi, Fabio, et al.
Published: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

Defining neurosymbolic AI
by: De Smet, Lennert, et al.
Published: (2025)

ULLER: A Unified Language for Learning and Reasoning
by: van Krieken, Emile, et al.
Published: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
by: Verreet, Victor, et al.
Published: (2024)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
by: DeLong, Lauren Nicole, et al.
Published: (2023)

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning
by: Naik, Aaditya, et al.
Published: (2024)

Neurosymbolic AI Transfer Learning Improves Network Intrusion Detection
by: Tran, Huynh T. T., et al.
Published: (2025)

Interpretability in Deep Time Series Models Demands Semantic Alignment
by: De Felice, Giovanni, et al.
Published: (2026)

Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
by: Debot, David, et al.
Published: (2025)

Neurosymbolic Diffusion Models
by: van Krieken, Emile, et al.
Published: (2025)

OneLog: Towards End-to-End Training in Software Log Anomaly Detection
by: Hashemi, Shayan, et al.
Published: (2021)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms
by: Kotsireas, Ilias, et al.
Published: (2025)

Neurosymbolic Conformal Classification
by: Ledaguenel, Arthur, et al.
Published: (2024)

Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI
by: Andolfi, Luca, et al.
Published: (2025)

Weakly Supervised Segmentation as Semantic-Based Regularization
by: Colamonaco, Stefano, et al.
Published: (2026)

Hardware-efficient tractable probabilistic inference for TinyML Neurosymbolic AI applications
by: Leslin, Jelin, et al.
Published: (2025)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
by: Biberstein, Paul, et al.
Published: (2025)

Optimisation in Neurosymbolic Learning Systems
by: van Krieken, Emile
Published: (2024)

On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)