Clarifying the theory: Transformers can't represent NC1-complete state tracking, simpler kinds sit in TC0

lambdaviking · x · 2026-11-04

In a thread about the state-tracking benchmark paper, the authors clarify: theory says Transformers cannot represent the hardest (NC1-complete) types of state tracking, but simpler kinds that lie in TC0 already resemble tasks in existing long-context benchmarks — so the benchmark spans multiple complexity levels, not just the hardest S5 word problem.

Related event: Ai2's StateBench: frontier models drop below 13% on long-context state tracking(18 posts)→

Original post →

More from Research

Research channel →