Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning

ArXi:2604.23377v1 Announce Type: new 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 shortcuts as a constraint satisfaction problem and investigate under which conditions concept mappings are uniquely determined by the constraints.