Cover Image

The DeepLog Neurosymbolic Machine

Fuente: arXiv

Saved in:

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

Similar Items

DeepLog: A Software Framework for Modular Neurosymbolic AI
by: Manhaeve, Robin, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
by: De Smet, Lennert, 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)

CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments
by: Abraham, Savitha Sam, et al.
Published: (2024)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
by: Hazra, Rishi, et al.
Published: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024)

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

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

Neurosymbolic Deep Learning Semantics
by: Garcez, Artur d'Avila, et al.
Published: (2025)

ULLER: A Unified Language for Learning and Reasoning
by: van Krieken, Emile, 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)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
by: Veronese, Celeste, et al.
Published: (2026)

Neurosymbolic Graph Enrichment for Grounded World Models
by: De Giorgis, Stefano, et al.
Published: (2024)

Pruning-Based Extraction of Descriptions from Probabilistic Circuits
by: Bocklandt, Sieben, et al.
Published: (2023)

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

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

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

Neurosymbolic Methods for Rule Mining
by: Lawrynowicz, Agnieszka, et al.
Published: (2024)

On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
by: Richards, Luke E., et al.
Published: (2025)

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

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

T-ILR: a Neurosymbolic Integration for LTLf
by: Andreoni, Riccardo, et al.
Published: (2025)

Neurosymbolic Learning for Inference-Time Argumentation
by: Freedman, Gabriel, et al.
Published: (2026)

Neurosymbolic Methods for Dynamic Knowledge Graphs
by: Alam, Mehwish, et al.
Published: (2024)