Held-out transition-pair falsifier on S3 x S3 shows projected recurrent state model achieves perfect final-state prediction up to 1M+ tokens while matched baselines fail.
Induction Bias
2 Pith papers cite this work. Polarity classification is still indexing.
abstract
Despite the remarkable practical success of transformer-based language models, recent work has raised concerns about their ability to perform state tracking. In particular, a growing body of literature has shown this limitation primarily through failures in out-of-distribution (OOD) generalization, such as length extrapolation. In this work, we shift attention to the in-distribution implications of these limitations. We conduct a large-scale experimental study of the data efficiency of transformers and recurrent neural networks (RNNs) across multiple supervision regimes. We find that the amount of training data required by transformers grows much more rapidly with state-space size and sequence length than for RNNs. Furthermore, we analyze the extent to which learned state-tracking mechanisms are shared across different sequence lengths. We show that transformers exhibit negligible or even detrimental weight sharing across lengths, indicating that they learn length-specific solutions in isolation. In contrast, recurrent models exhibit effective amortized learning by sharing weights across lengths, allowing data from one sequence length to improve performance on others. Together, these results demonstrate that state tracking remains a fundamental challenge for transformers, even when training and evaluation distributions match.
fields
cs.LG 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
S4 models exhibit stable time-continuity unlike sensitive S6 models, with task continuity predicting performance and enabling temporal subsampling for better efficiency.
citing papers explorer
-
A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Held-out transition-pair falsifier on S3 x S3 shows projected recurrent state model achieves perfect final-state prediction up to 1M+ tokens while matched baselines fail.
-
Continuity Laws for Sequential Models
S4 models exhibit stable time-continuity unlike sensitive S6 models, with task continuity predicting performance and enabling temporal subsampling for better efficiency.