Katsumi Inoue

Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems

Akihiro Takemura, Katsumi Inoue

Neurosymbolic (NeSy) systems integrate neural networks with logical reasoning to achieve both generalization and interpretability, but recent work has shown they are susceptible to shortcut reasoning behaviors. We propose a novel method using matrix-based differentiable logic pro…Read more