Token-level interpretability of long-chain reasoning in transformer models | Manifund