5 citations · 7 across the 6 of their papers we have counts for
7 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…
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Akihiro Takemura, Katsumi Inoue
We propose a method for generating rule sets as global and local explanations for tree-ensemble learning methods using Answer Set Programming (ASP). To this end, we adopt a decompo…
Differentiable Logic Programming for Distant Supervision
Akihiro Takemura, Katsumi Inoue
We introduce a new method for integrating neural networks with logic programming in Neural-Symbolic AI (NeSy), aimed at learning with distant supervision, in which direct labels ar…
Towards end-to-end ASP computation
Taisuke Sato, Akihiro Takemura, Katsumi Inoue
We propose an end-to-end approach for Answer Set Programming (ASP) and linear algebraically compute stable models satisfying given constraints. The idea is to implement Lin-Zhao's…