5 citations · 8 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
Akihiro Takemura, Katsumi Inoue, Masaaki Nishino
Neurosymbolic systems can satisfy logical constraints during learning without achieving the intended concept-label correspondence; this is a problem known as reasoning shortcuts. W…
Formally Explaining Decision Tree Models with Answer Set Programming
Akihiro Takemura, Masayuki Otani, Katsumi Inoue
Decision tree models, including random forests and gradient-boosted decision trees, are widely used in machine learning due to their high predictive performance. However, their com…