2 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
Declarative Design of Neural Predicates in Neuro-Symbolic Systems
Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra +1
Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning syst…