3 papers
cs.LG2026
DeepLog: A Software Framework for Modular Neurosymbolic AI
Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4
DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular…
cs.AI2026
The DeepLog Neurosymbolic Machine
Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen +4
We contribute a theoretical and operational framework for neurosymbolic AI called DeepLog. DeepLog introduces building blocks and primitives for neurosymbolic AI that make abstract…
cs.AI2025
ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
Rik Adriaensen, Lucas Van Praet, Jessa Bekker +3
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 dir…