Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
arXiv:2604.23377v1 Announce Type: new
Abstract: Neurosymbolic systems can satisfy logical constraints during learning without achieving the intended concept-label correspondence; this is a problem known as reasoning shortcuts. We formalize reasoning s…