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.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…
cs.AI2025
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…