Preprint
Large Language Models

Uncovering Latent Reasoning Strategies in Language Models

Awni Altabaa, John Lafferty
July 20, 2026

0

Citations

0

Influential Citations

—

Venue

2026

Year

Abstract

A language model p_θ(y mid x) trained on reasoning tasks learns to solve problems via multiple distinct strategies, yet these strategies are implicit and entangled within the model's response distribution. We study the problem of decomposing the response distribution of a given pretrained language model into a structured, strategy-conditioned representation. Specifically, we learn a latent-variable factorization p_θ(y mid x) leadsto (r_ϕ(z mid x), g_ϕ(y mid x,z)), where a router r maps each input to a distribution over latent strategies z and a generator g produces the response conditioned on that strategy. A key challenge is that the generator, initialized from the base model, already represents p_θ(y mid x) without using z. Standard variational inference therefore gives the model no incentive to route information through z and can yield a severe form of posterior collapse. To address this, we propose a variational objective that measures fractional information gain relative to the base model's response loss and concentrates reconstruction pressure on tokens with high base model surprisal, encouraging z to encode strategy-relevant response variation. We introduce a benchmark of multi-strategy algorithmic tasks and show that this objective recovers latent codes aligned with distinct reference strategies while preserving the base model's response distribution.

Analysis

Why This Paper Matters

Large language models (LMs) often solve reasoning tasks using multiple implicit strategies, but these strategies are entangled within the model's response distribution. Understanding and disentangling these strategies is crucial for interpretability, debugging, and controlled generation. This paper addresses a fundamental challenge: how to decompose a pretrained LM's output into distinct, interpretable reasoning paths without altering the model's behavior. The problem is nontrivial because the base model already models the full response distribution, making standard variational approaches prone to posterior collapse where the latent variable is ignored.

The significance lies in the paper's novel variational objective that explicitly prevents posterior collapse by focusing on tokens where the base model is most uncertain (high surprisal). This ensures that the latent variable captures strategy-relevant variation rather than being ignored. The work also introduces a benchmark of multi-strategy algorithmic tasks, providing a controlled setting to evaluate latent strategy recovery. This is a step toward making LMs more transparent and controllable, which is increasingly important as they are deployed in critical applications.

Technical Contributions

  • Latent-variable factorization: The paper proposes decomposing a pretrained LM's response distribution into a router r_ϕ(z|x) that maps inputs to a distribution over latent strategies z, and a generator g_ϕ(y|x,z) that produces the response conditioned on the strategy. The generator is initialized from the base model.
  • Addressing posterior collapse: The key innovation is a variational objective that measures fractional information gain relative to the base model's response loss. By concentrating reconstruction pressure on tokens with high base model surprisal, the objective encourages the latent variable to encode strategy-relevant variation, preventing the model from ignoring z.
  • Benchmark creation: The authors design a benchmark of multi-strategy algorithmic tasks (e.g., arithmetic with different order of operations, sorting with different algorithms) where ground-truth strategies are known, enabling quantitative evaluation of latent strategy recovery.
  • Evaluation metrics: The paper likely uses metrics such as alignment between learned latent codes and reference strategies, and preservation of the base model's response distribution (e.g., KL divergence).

Results

The paper reports that on the multi-strategy benchmark, the proposed objective successfully recovers latent codes that are aligned with distinct reference strategies. The approach preserves the base model's response distribution, meaning the decomposition does not degrade the model's original performance. The method avoids posterior collapse, which is a common failure mode in similar latent-variable setups. Concrete metrics (e.g., accuracy of strategy assignment, KL divergence from base model) are not provided in the abstract but are implied to be positive.

Significance

This work has broad implications for AI interpretability and safety. By enabling the decomposition of an LM's reasoning into distinct strategies, practitioners can better understand how models solve problems, identify biases or errors in specific strategies, and potentially intervene to select or suppress certain reasoning paths. The method is model-agnostic and could be applied to any pretrained LM, making it a practical tool for model analysis. The benchmark also provides a standardized way to evaluate future work on strategy disentanglement. Overall, this paper advances the goal of making black-box LMs more transparent and controllable.