Research questionHow can language models perform complex logical reasoning without accumulating token-level errors?Autoregressive language models generate reasoning one token at a time, so early mistakes can compound and likely conclusions can be treated as necessary ones. This linear representation also makes complex inference structures difficult to maintain.