6 citations · 14 across the 11 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
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…
cs.AI2021★ 3 cited
Differentiable Inductive Logic Programming for Structured Examples
Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto
The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable frame…