Formal Definition and Computational Complexity of Structural Generalization
July 23, 2026
Provides a mathematical definition for structural generalization, framing it as a competition between the NC1 computational lower bound and the TC0 ceiling of pure Transformers. It decomposes compositional rules into syntactic and semantic projections to analyze learning capacity.
HOW THIS AFFECTS YOU
●
researcherYou can now rigorously evaluate whether a model's generalization is emerging from data or is simply hard-coded logic.