TY - RPRT TI - Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning AU - Akihiro Takemura AU - Katsumi Inoue AU - Masaaki Nishino PY - 2026 UR - https://arxiv.org/abs/2604.23377 ID - 2604.23377 ER -