标签
This paper analyzes reasoning shortcuts in neurosymbolic systems through symmetry and automorphism groups, reveals flaws in a prior framework, proves complexity-theoretic results, and empirically validates the corrected theory on benchmarks like CLE4EVR and rsbench.