Author name cluster

Robin Manhaeve

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

13 papers

2 author rows

AAAI Conference 2026 Conference Paper

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

Rik Adriaensen
Lucas Van Praet
Jessa Bekker
Robin Manhaeve
Pieter Delobelle
Maarten Buyl

Operationalizing definitions of fairness is difficult in practice, as multiple definitions can be incompatible while each being arguably desirable. Instead, it may be easier to directly describe algorithmic bias through ad-hoc assumptions specific to a particular real-world task, e.g., based on background information on systemic biases in its context. Such assumptions can, in turn, be used to mitigate this bias during training. Yet, a framework for incorporating such assumptions that is simultaneously principled, flexible, and interpretable is currently lacking. Our approach is to formalize bias assumptions as programs in ProbLog, a probabilistic logic programming language that allows for the description of probabilistic causal relationships through logic. Neurosymbolic extensions of ProbLog then allow for easy integration of these assumptions in a neural network's training process. We propose a set of templates to express different types of bias and show the versatility of our approach on synthetic tabular datasets with known biases. Using estimates of the bias distortions present, we also succeed in mitigating algorithmic bias in real-world tabular and image data. We conclude that ProbLog4Fairness outperforms baselines due to its ability to flexibly model the relevant bias assumptions, where other methods typically uphold a fixed bias type or notion of fairness.

PDF Details DOI

ECAI Conference 2025 Conference Paper

DEEPGRAPHLOG for Layered Neurosymbolic AI

Adem Kikaj
Giuseppe Marra
Floris Geerts
Robin Manhaeve
Luc De Raedt

Neurosymbolic AI (NeSy) aims to integrate the statistical strengths of neural networks with the interpretability and structure of symbolic reasoning. However, current NeSy frameworks like DEEPGRAPHLOG enforce a fixed flow where symbolic reasoning always follows neural processing. This restricts their ability to model complex dependencies, especially in irregular data structures such as graphs. In this work, we introduce DEEPGRAPHLOG, a novel NeSy framework that extends PROBLOG with Graph Neural Predicates. DEEPGRAPHLOG enables multi-layer neural-symbolic reasoning, allowing neural and symbolic components to be layered in arbitrary order. In contrast to DEEPGRAPHLOG, which cannot handle symbolic reasoning via neural methods, DEEPGRAPHLOG treats symbolic representations as graphs, enabling them to be processed by Graph Neural Networks (GNNs). We showcase the capabilities of DEEPGRAPHLOG on tasks in planning, knowledge graph completion with distant supervision, and GNN expressivity. Our results demonstrate that DEEPGRAPHLOG effectively captures complex relational dependencies, overcoming key limitations of existing NeSy systems. By broadening the applicability of neurosymbolic AI to graph-structured domains, DEEPGRAPHLOG offers a more expressive and flexible framework for neural-symbolic integration. Code is available at https: //github. com/ML-KULeuven/DeepGraphLog.

Details

ECAI Conference 2025 Conference Paper

Neurosymbolic OCR for Handwritten Tax Forms

Quinten Dewulf
Robin Manhaeve
Wannes Meert
Luc De Raedt

Neurosymbolic AI integrates low-level perception with high-level reasoning, making it well suited for tasks that involve both visual recognition and domain-specific constraints. One such task is the digitization of structured documents like handwritten tax forms, which must satisfy numerous known rules. While neural OCR models are becoming increasingly capable at reading handwritten text, they fail to enforce such constraints on their output, leading to invalid predictions. By combining neural OCR outputs with grammar-based stochastic reasoning over these constraints, neurosymbolic OCR can correct both neural perception errors and user mistakes. This paper demonstrates the application of DeepStochLog, a neurosymbolic AI system, to digitize handwritten IRS 1040 tax forms. Its ability to incorporate background knowledge and ease of use make DeepStochLog an attractive framework for constrained OCR applications.

Details

TMLR Journal 2025 Journal Article

Unifying Self-Supervised Clustering and Energy-Based Models

Emanuele Sansone
Robin Manhaeve

Self-supervised learning excels at learning representations from large amounts of data. At the same time, generative models offer the complementary property of learning information about the underlying data generation process. In this study, we aim at establishing a principled connection between these two paradigms and highlight the benefits of their complementarity. In particular, we perform an analysis of self-supervised learning objectives, elucidating the underlying probabilistic graphical models and presenting a standardized methodology for their derivation from first principles. The analysis suggests a natural means of integrating self-supervised learning with likelihood-based generative models. We instantiate this concept within the realm of cluster-based self-supervised learning and energy models, introducing a lower bound proven to reliably penalize the most important failure modes and unlocking full unification. Our theoretical findings are substantiated through experiments on synthetic and real-world data, including SVHN, CIFAR10, and CIFAR100, demonstrating that our objective function allows to jointly train a backbone network in a discriminative and generative fashion, consequently outperforming existing self-supervised learning strategies in terms of clustering, generation and out-of-distribution detection performance by a wide margin. We also demonstrate that the solution can be integrated into a neuro-symbolic framework to tackle a simple yet non-trivial instantiation of the symbol grounding problem.

PDF Details

AIJ Journal 2024 Journal Article

From statistical relational to neurosymbolic artificial intelligence: A survey

Giuseppe Marra
Sebastijan Dumančić
Robin Manhaeve
Luc De Raedt

This survey explores the integration of learning and reasoning in two different fields of artificial intelligence: neurosymbolic and statistical relational artificial intelligence. Neurosymbolic artificial intelligence (NeSy) studies the integration of symbolic reasoning and neural networks, while statistical relational artificial intelligence (StarAI) focuses on integrating logic with probabilistic graphical models. This survey identifies seven shared dimensions between these two subfields of AI. These dimensions can be used to characterize different NeSy and StarAI systems. They are concerned with (1) the approach to logical inference, whether model or proof-based; (2) the syntax of the used logical theories; (3) the logical semantics of the systems and their extensions to facilitate learning; (4) the scope of learning, encompassing either parameter or structure learning; (5) the presence of symbolic and subsymbolic representations; (6) the degree to which systems capture the original logic, probabilistic, and neural paradigms; and (7) the classes of learning tasks the systems are applied to. By positioning various NeSy and StarAI systems along these dimensions and pointing out similarities and differences between them, this survey contributes fundamental concepts for understanding the integration of learning and reasoning.

Details DOI

NeSy Conference 2024 Conference Paper

ULLER: A Unified Language for Learning and Reasoning

Emile van Krieken
Samy Badreddine
Robin Manhaeve
Eleonora Giunchiglia

Abstract The field of neuro-symbolic artificial intelligence (NeSy), which combines learning and reasoning, has recently experienced significant growth. There now are a wide variety of NeSy frameworks, each with its own specific language for expressing background knowledge and how to relate it to neural networks. This heterogeneity hinders accessibility for newcomers and makes comparing different NeSy frameworks challenging. We propose a unified language for NeSy, which we call ULLER, a Unified Language for LEarning and Reasoning. ULLER encompasses a wide variety of settings, while ensuring that knowledge described in it can be used in existing NeSy systems. ULLER has a first-order logic syntax specialised for NeSy for which we provide example semantics including classical FOL, fuzzy logic, and probabilistic logic. We believe ULLER is a first step towards making NeSy research more accessible and comparable, paving the way for libraries that streamline training and evaluation across a multitude of semantics, knowledge bases, and NeSy systems.

Details

UAI Conference 2023 Conference Paper

Neural probabilistic logic programming in discrete-continuous domains

Lennert De Smet
Pedro Zuidberg Dos Martires
Robin Manhaeve
Giuseppe Marra
Angelika Kimmig
Luc De Raedt

Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic background knowledge in the form of logic. It has been shown to aid learning in the limited data regime and to facilitate inference on out-of-distribution data. Probabilistic NeSy focuses on integrating neural networks with both logic and probability theory, which additionally allows learning under uncertainty. A major limitation of current probabilistic NeSy systems, such as DeepProbLog, is their restriction to finite probability distributions, i. e. , discrete random variables. In contrast, deep probabilistic programming (DPP) excels in modelling and optimising continuous probability distributions. Hence, we introduce DeepSeaProbLog, a neural probabilistic logic programming language that incorporates DPP techniques into NeSy. Doing so results in the support of inference and learning of both discrete and continuous probability distributions under logical constraints. Our main contributions are 1) the semantics of DeepSeaProbLog and its corresponding inference algorithm, 2) a proven asymptotically unbiased learning algorithm, and 3) a series of experiments that illustrate the versatility of our approach.

Details

AAAI Conference 2022 Conference Paper

DeepStochLog: Neural Stochastic Logic Programming

Thomas Winters
Giuseppe Marra
Robin Manhaeve
Luc De Raedt

Recent advances in neural-symbolic learning, such as Deep- ProbLog, extend probabilistic logic programs with neural predicates. Like graphical models, these probabilistic logic programs define a probability distribution over possible worlds, for which inference is computationally hard. We propose Deep- StochLog, an alternative neural-symbolic framework based on stochastic definite clause grammars, a kind of stochastic logic program. More specifically, we introduce neural grammar rules into stochastic definite clause grammars to create a framework that can be trained end-to-end. We show that inference and learning in neural stochastic logic programming scale much better than for neural probabilistic logic programs. Furthermore, the experimental evaluation shows that DeepStochLog achieves state-of-the-art results on challenging neural-symbolic learning tasks.

PDF Details

KR Conference 2021 Conference Paper

Approximate Inference for Neural Probabilistic Logic Programming

Robin Manhaeve
Giuseppe Marra
Luc De Raedt

DeepProbLog is a neural-symbolic framework that integrates probabilistic logic programming and neural networks. It is realized by providing an interface between the probabilistic logic and the neural networks. Inference in probabilistic neural symbolic methods is hard, since it combines logical theorem proving with probabilistic inference and neural network evaluation. In this work, we make the inference more efficient by extending an approximate inference algorithm from the field of statistical-relational AI. Instead of considering all possible proofs for a certain query, the system searches for the best proof. However, training a DeepProbLog model using approximate inference introduces additional challenges, as the best proof is unknown at the start of training which can lead to convergence towards a local optimum. To be able to apply DeepProbLog on larger tasks, we propose: 1) a method for approximate inference using an A*-like search, called DPLA* 2) an exploration strategy for proving in a neural-symbolic setting, and 3) a parametric heuristic to guide the proof search. We empirically evaluate the performance and scalability of the new approach, and also compare the resulting approach to other neural-symbolic systems. The experiments show that DPLA* achieves a speed up of up to 2-3 orders of magnitude in some cases.

PDF Details DOI

AIJ Journal 2021 Journal Article

Neural probabilistic logic programming in DeepProbLog

Robin Manhaeve
Sebastijan Dumančić
Angelika Kimmig
Thomas Demeester
Luc De Raedt

We introduce DeepProbLog, a neural probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques of the underlying probabilistic logic programming language ProbLog can be adapted for the new language. We theoretically and experimentally demonstrate that DeepProbLog supports (i) both symbolic and subsymbolic representations and inference, (ii) program induction, (iii) probabilistic (logic) programming, and (iv) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.

Details DOI

IJCAI Conference 2020 Conference Paper

From Statistical Relational to Neuro-Symbolic Artificial Intelligence

Luc De Raedt
Sebastijan Dumančić
Robin Manhaeve
Giuseppe Marra

Neuro-symbolic and statistical relational artificial intelligence both integrate frameworks for learning with logical reasoning. This survey identifies several parallels across seven different dimensions between these two fields. These cannot only be used to characterize and position neuro-symbolic artificial intelligence approaches but also to identify a number of directions for further research.

PDF Details DOI

NeSy Conference 2019 Conference Paper

Neuro-Symbolic = Neural + Logical + Probabilistic

Luc De Raedt
Robin Manhaeve
Sebastijan Dumancic
Thomas Demeester
Angelika Kimmig

The overall goal of neuro-symbolic computation is to integrate high-level reasoning with low-level perception. We argue 1) that neuro-symbolic computation should integrate neural networks with the two most prominent methods for reasoning, that is, logic and probability, and 2) that neuro-symbolic integrated methods should have the pure neural, logical and probabilistic methods as special cases. We examine the state-of-the-art with regard to these claims and briefly position our own contribution DeepProbLog in this perspective.

Details

NeurIPS Conference 2018 Conference Paper

DeepProbLog: Neural Probabilistic Logic Programming

Robin Manhaeve
Sebastijan Dumancic
Angelika Kimmig
Thomas Demeester
Luc De Raedt

We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports (i) both symbolic and subsymbolic representations and inference, (ii) program induction, (iii) probabilistic (logic) programming, and (iv) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.

PDF Details