arXiv is now an independent nonprofit! Learn more
License: CC BY 4.0
arXiv:2609.09928v1 [cs.AI] 09 Sep 2026

Structural Process Supervision for Latent Chain-of-Thought Reasoning

Yiqi Li Affiliation: Shanghai Jiao Tong University Email: 17-adamant@sjtu.edu.cn    Xu Chen ††thanks: Corresponding author Affiliation: Taobao & Tmall Group Email: yuwangsjtu@sjtu.edu.cn    Chen Ju Affiliation: Taobao & Tmall Group Email: huaisong.cx@taobao.com    Jiangchao Yao Affiliation: Taobao & Tmall Group    Zhaoyang Li Affiliation: Taobao & Tmall Group    Jinsong Lan Affiliation: Taobao & Tmall Group    Xiaoyong Zhu  Bo Zheng  Yu Wang11footnotemark: 1 Affiliation: Shanghai Jiao Tong University Affiliation: Taobao & Tmall Group
Abstract

Latent reasoning approaches enhance token-level efficiency and robustness by replacing verbose, explicit chain-of-thought (CoT) tokens with compact continuous-space embeddings. However, existing methods lack direct process supervision over these latent embeddings, which often leads to representation collapse and uneven information distribution. To address this, we propose Prototype-Mediated Process Supervision (PMPS), which introduces learnable reasoning prototypes as semantic anchors to provide structural process-level supervision for latent reasoning. PMPS projects latent embeddings and explicit CoT embeddings into a shared prototype space, achieving many-to-many soft alignment between unequal-length representations through prototype assignment. Meanwhile, we introduce a Progressive Sequential Alignment (PSA) module to further guide training: positional priors initially encourage sequential alignment structure, then gradually relax to permit adaptive matching. Experimental results show that PMPS compresses output token length to under 50% of explicit CoT on GSM8K-Aug. Compared to leading baseline SIM-CoT, our method achieves average accuracy gains of 2.08% across different model families. On GPT-2, PMPS even surpasses CoT-SFT. On larger models and a more challenging task, PMPS consistently attains the highest accuracy among all latent reasoning methods with comparable output length.

1 Introduction

Refer to caption
Figure 1: Comparison of different CoT methods. Our proposed PMPS provides process supervision over all latent embeddings.

To overcome the limitat Large Language Models (LLMs) have demonstrated remarkable reasoning capabilities on complex tasks such as mathematical reasoning and logical inference (Achiam et al., 2023; Grattafiori et al., 2024; Comanici et al., 2025; Yang et al., 2025; Liu et al., 2025; Zeng et al., 2026), particularly when employing Chain-of-Thought (CoT) prompting techniques (Wei et al., 2022). However, explicit CoT reasoning suffers from multiple limitations, including low inference efficiency and constrained expressiveness (Chen et al., 2025; Li et al., 2025b; Zhu et al., 2025), motivating researchers to explore more efficient and flexible reasoning paradigms. ions of explicit CoT, researchers have proposed latent reasoning methods that perform reasoning in latent space rather than language space (Li et al., 2025a; Zhang et al., 2025; Tan et al., 2025). Compared to explicit CoT, latent reasoning offers three advantages: (1) Efficiency: Replacing verbose CoT tokens with compact hidden states substantially reduces inference cost. (2) Expressiveness: Continuous high-dimensional representations transcend the discrete token bottleneck, encoding richer semantic information that natural language cannot faithfully capture(Deng et al., 2024; Hao et al., 2024; Deng et al., 2026). (3) Controllability: The reasoning length and implicit CoT are controllable by pre-setting the number of latent tokens. Despite these advantages, existing latent reasoning approaches still suffer from critical limitations. As shown in Figure 1, CODI (Shen et al., 2025) optimizes latent embeddings solely via the final answer, which leaves intermediate reasoning unguided and often causes representation collapse. SIM-CoT (Wei et al., 2025) mitigates this collapse via an auxiliary decoder to establish a one-to-one alignment between fixed-number latent embeddings and variable-length CoT steps. This design, which introduces a decoder of identical architecture to the base model, not only increases training overhead but also induces information bottlenecks, as excessive reasoning steps are compressed while surplus embeddings remain unsupervised. Empirical experiment (Figure 3) reveals two prevalent representation collapse in existing methods: odd-even collapse, where embeddings at odd and even positions collapse into two alternating groups; and tail collapse, where the last few embeddings become nearly identical.

To address the above limitations, we propose Prototype-Mediated Process Supervision (PMPS), a novel framework that provides structural process supervision for latent reasoning. We introduce learnable reasoning prototypes as semantic anchors and project both latent and explicit CoT embeddings into a unified prototype space, imposing structured semantic organization on the latent representations. Through Sinkhorn-Knopp-based (Cuturi, 2013) soft assignments, we establish many-to-many alignment between latent and CoT representations, and formulate a bidirectional cross-prediction loss that compels each latent embedding to capture differentiated reasoning semantics. Furthermore, we introduce a Progressive Sequential Alignment (PSA) module that applies a Gaussian positional prior to impose sequential structure on the matching, then gradually relaxes it via cosine annealing to allow adaptive alignment. Importantly, all components are used only during training, incurring negligible training overhead and zero inference cost.

Extensive experiments demonstrate the effectiveness of PMPS. On GSM8K-Aug, PMPS reduces the reasoning length by over 50% relative to explicit CoT on GPT-2 while improving accuracy by 3.96%, and it surpasses the CODI and SIM-CoT baselines by 4.33% and 2.86%, respectively. PMPS consistently achieves superior accuracy over all latent reasoning baselines across different model families, scales, and the more challenging task. In summary, our main contributions can be summarized as follows:

  • •

    We propose PMPS, the first framework to introduce structural process-level supervision for latent reasoning. PMPS establishes a soft alignment between latent and explicit CoT embeddings via a prototype-based bidirectional cross-prediction objective, effectively mitigating representation collapse.

  • •

    To exploit the sequential structure of reasoning, we introduce PSA, which employs a Gaussian positional prior with cosine annealing to guide early sequential alignment and gradually relaxes the constraint, enabling adaptive matching while balancing structural bias and flexibility.

  • •

    Extensive experiments across diverse benchmarks and model scales demonstrate that PMPS consistently outperforms leading latent reasoning baselines while preserving the inference efficiency, confirming both strong effectiveness and broad generalizability.

2 Related Work

2.1 Latent Reasoning in LLMs

Chain-of-thought (CoT) prompting (Wei et al., 2022) improves LLM reasoning, but the inference cost increases substantially with verbose reasoning length, motivating reasoning in continuous hidden-state space. iCoT (Deng et al., 2024) and Coconut (Hao et al., 2024) progressively replace explicit CoT tokens with latent embeddings via curriculum learning. CODI (Shen et al., 2025) stabilizes training through teacher–student distillation at the answer position. SIM-CoT (Wei et al., 2025) enforces rigid one-to-one assignment between CoT steps and latent embeddings with an auxiliary decoder. CoLaR (Tan et al., 2025) and Latent-SFT (Deng et al., 2026) compress a contiguous sequence of CoT tokens into a single latent embedding. However, these methods either lack direct reasoning supervision or enforce an overly rigid correspondence between the CoT and latent embeddings, which limits the expressiveness of latent representations. We propose PMPS to address these limitations via th structural prototype-mediated soft alignment, requiring no auxiliary decoder and no hard CoT partition.

2.2 Process Supervision and Prototype-Based Representation Learning

Process Reward Models (Lightman et al., 2024) show that step-level correctness labels yield better reasoning verifiers than outcome-only rewards, with follow-up work automating such supervision via Monte Carlo tree search (Wang et al., 2024). However, existing process supervision methods require explicit, discrete reasoning steps, which are incompatible with continuous latent embeddings. In parallel, SwAV (Caron et al., 2020) and PCL (Li et al., 2020), originally from visual self-supervised learning, show that learnable prototypes can effectively structure embedding spaces without negative pairs. Knowledge distillation approaches (Sun et al., 2019; Wang et al., 2020) align teacher–student representations but typically assume matched sequence lengths. Our work bridges these by leveraging prototypes to provide many-to-many structural process-level supervision across an unequal number of latent embeddings and CoT embeddings, complemented by answer-position distillation from the teacher to ensure outcome-level alignment.

Refer to caption
Figure 2: Overview of PMPS framework. During training, PMPS adopts the conventional parallel teacher-student architecture and leverages the explicit CoT embeddings from the teacher task to supervise the latent embeddings from the student task via a bidirectional cross-prediction loss in the prototype space. At inference, only the student task is executed, performing latent reasoning without any additional overhead.

3 Methodology

In this section, we present the technical details of our proposed framework. We first review the conventional self-distillation framework. We then introduce PMPS, which provides structural process-level supervision for latent embeddings. Finally, we describe the PSA module, which imposes a curriculum-scheduled positional prior to guide sequential alignment structure during training. The overview of our framework is presented in Figure 2.

3.1 Preliminaries

To obtain high-quality explicit Chain-of-Thought (CoT) embeddings that align with the model’s intrinsic distribution as supervision signals, we adopt the widely used self-distillation framework (Zhang et al., 2019; Liao et al., 2023; Liu et al., 2026) as the foundational architecture. Within this framework, the model is jointly optimized for two tasks: a teacher task that performs explicit CoT reasoning, and a student task that executes the target latent reasoning paradigm. Inspired by CODI (Shen et al., 2025), we align the hidden states of teacher and student task at the answer token positions. The objective function for this base architecture is formulated as:

ℒbase=ℒc​es​t​u+ℒc​et​e​a+ℒd​i​s​t\mathcal{L}_{\text{base}}=\mathcal{L}_{ce}^{stu}+\mathcal{L}_{ce}^{tea}+\mathcal{L}_{dist} (1)

where ℒc​es​t​u\mathcal{L}_{ce}^{stu} and ℒc​et​e​a\mathcal{L}_{ce}^{tea} are cross-entropy losses for the student’s answer prediction and the teacher’s full-sequence prediction, and ℒd​i​s​t\mathcal{L}_{dist} is a Smooth L1 loss aligning teacher and student hidden states at the answer token. However, relying solely on this base architecture lacks process-level supervision for the latent embeddings, which can lead to latent homogenization and representation collapse.

3.2 Prototype-Mediated Process Supervision

To mitigate the representation collapse induced by the absence of process supervision, we propose to leverage the CoT embeddings from the teacher task as supervision signals. These explicit CoT embeddings are well-suited targets for two reasons: (1) the ℒc​et​e​a\mathcal{L}_{ce}^{tea} loss ensures that they encode high-quality, semantically meaningful reasoning information, and (2) since both the explicit CoT embeddings and latent embeddings are generated by the same model, they are inherently co-distributed, facilitating more effective knowledge transfer.

However, direct one-to-one distillation is infeasible because the number of latent embeddings NlN_{l} is far smaller than the number of CoT tokens NcN_{c}. We therefore propose Prototype-Mediated Process Supervision (PMPS), which introduces KK learnable prototype vectors 𝐏={𝐩1,…,𝐩K}∈ℝK×d\mathbf{P}=\{\mathbf{p}_{1},\ldots,\mathbf{p}_{K}\}\in\mathbb{R}^{K\times d} as shared semantic anchors to mediate a soft many-to-many alignment between the two sets of representations, imposing structured semantic organization on the latent space. Let 𝐇l={𝐥1,…,𝐥Nl}∈ℝNl×D\mathbf{H}_{l}=\{\mathbf{l}_{1},\ldots,\mathbf{l}_{N_{l}}\}\in\mathbb{R}^{N_{l}\times D} and 𝐇c={𝐜1,…,𝐜Nc}∈ℝNc×D\mathbf{H}_{c}=\{\mathbf{c}_{1},\ldots,\mathbf{c}_{N_{c}}\}\in\mathbb{R}^{N_{c}\times D} denote the latent embeddings and the explicit CoT embeddings, respectively, where DD is the hidden dimension and dd is the prototype dimension.

Projection and Scoring. A shared two-layer MLP with batch normalization serves as the projection head g⁡(⋅)g(\cdot), projecting both 𝐇l\mathbf{H}_{l} and 𝐇c\mathbf{H}_{c} from the original hidden space into the prototype space, followed by ℓ2\ell_{2} normalization:

𝐳=g⁡(𝐡)/‖g⁡(𝐡)‖2\mathbf{z}=g(\mathbf{h})/\|g(\mathbf{h})\|_{2} (2)

where 𝐡\mathbf{h} denotes either the latent embedding or the explicit CoT embedding. Each unit feature vector 𝐳\mathbf{z} is scored against the ℓ2\ell_{2}-normalized prototypes via inner product sk=𝐳⊤​𝐩ks_{k}=\mathbf{z}^{\top}\mathbf{p}_{k}, yielding score matrices 𝐒l∈ℝNl×K\mathbf{S}_{l}\in\mathbb{R}^{N_{l}\times K} and 𝐒c∈ℝNc×K\mathbf{S}_{c}\in\mathbb{R}^{N_{c}\times K}.

Prototype Assignment. To obtain soft assignments while preventing prototype collapse, we apply the Sinkhorn-Knopp algorithm (Cuturi, 2013) to enforce an equipartition constraint. Given a score matrix 𝐒∈ℝM×K\mathbf{S}\in\mathbb{R}^{M\times K}, where MM denotes the number of tokens, we initialize 𝐐(0)∝exp⁡(𝐒/ϵ)\mathbf{Q}^{(0)}\propto\exp(\mathbf{S}/\epsilon), with ϵ\epsilon serving as the regularization parameter. We then iteratively alternate row and column normalization:

𝐐(t)←Normrow​(Normcol​(𝐐(t−1)))\mathbf{Q}^{(t)}\leftarrow\text{Norm}_{\text{row}}\!\left(\text{Norm}_{\text{col}}\!\left(\mathbf{Q}^{(t-1)}\right)\right) (3)

The converged 𝐐∈ℝM×K\mathbf{Q}\in\mathbb{R}^{M\times K} satisfies that each row sums to 11 (a valid per-token distribution) and each column sums to M/KM/K (uniform prototype utilization). This procedure is applied independently to both 𝐒l\mathbf{S}_{l} and 𝐒c\mathbf{S}_{c} with stop-gradient operation following SwAV (Caron et al., 2020), producing the final soft assignment codes 𝐐l∈ℝNl×K\mathbf{Q}_{l}\in\mathbb{R}^{N_{l}\times K} and 𝐐c∈ℝNc×K\mathbf{Q}_{c}\in\mathbb{R}^{N_{c}\times K}.

Many-to-Many Matching. Leveraging the prototype assignments as a bridge, we compute the soft matching matrix between latent embeddings and explicit CoT embeddings:

𝐌c​2​l=𝐐c⋅𝐐l⊤/τm∈ℝNc×Nl\mathbf{M}_{c2l}=\mathbf{Q}_{c}\cdot\mathbf{Q}_{l}^{\top}/\tau_{m}\in\mathbb{R}^{N_{c}\times N_{l}} (4)

where temperature τm\tau_{m} controls matching sharpness. We then apply softmax normalization along the last dimensions to obtain bidirectional matching weights:

𝐀c​2​l=softmax​(𝐌c​2​l),𝐀l​2​c=softmax​(𝐌c​2​l⊤)\mathbf{A}_{c2l}=\text{softmax}(\mathbf{M}_{c2l}),\quad\mathbf{A}_{l2c}=\text{softmax}(\mathbf{M}_{c2l}^{\top}) (5)

This formulation naturally induces a many-to-many alignment: a single latent embedding can attend to multiple explicit CoT embeddings for compression, while a single explicit CoT embedding can contribute to multiple latent embeddings for semantic sharing.

Bidirectional Cross-Prediction Loss. Alongside the stop-gradient assignment codes 𝐐\mathbf{Q}, we compute gradient-carrying prototype predictions ϕl=softmax​(𝐒l/τ)\bm{\phi}_{l}=\text{softmax}(\mathbf{S}_{l}/\tau) and ϕc=softmax​(𝐒c/τ)\bm{\phi}_{c}=\text{softmax}(\mathbf{S}_{c}/\tau), where τ\tau is a prediction temperature. For each explicit CoT embedding jj, we aggregate the matched latent predictions weighted by 𝐀c​2​l\mathbf{A}_{c2l} and minimize the cross-entropy with its assignment code:

ℒc​2​l=−1Nc∑j=1Nc∑k=1KQc(j,k)log(∑i=1NlAc​2​l(j,i)⋅ϕl,i(k))\mathcal{L}_{c2l}=-\frac{1}{N_{c}}\sum_{j=1}^{N_{c}}\sum_{k=1}^{K}Q_{c}^{(j,k)}\log\left(\sum_{i=1}^{N_{l}}A_{c2l}^{(j,i)}\cdot\phi_{l,i}^{(k)}\right) (6)

where Qc(j,k)Q_{c}^{(j,k)} is the (j,k)(j,k)-th entry of 𝐐c\mathbf{Q}_{c}, Ac​2​l(j,i)A_{c2l}^{(j,i)} is the matching weight from the jj-th explicit CoT embedding to the ii-th latent embedding, and ϕl,i(k)\phi_{l,i}^{(k)} is the predicted probability of the ii-th latent embedding for the kk-th prototype. Symmetrically, the latent-to-CoT direction yields:

ℒl​2​c=−1Nl∑i=1Nl∑k=1KQl(i,k)log(∑j=1NcAl​2​c(i,j)⋅ϕc,j(k))\mathcal{L}_{l2c}=-\frac{1}{N_{l}}\sum_{i=1}^{N_{l}}\sum_{k=1}^{K}Q_{l}^{(i,k)}\log\left(\sum_{j=1}^{N_{c}}A_{l2c}^{(i,j)}\cdot\phi_{c,j}^{(k)}\right) (7)

The overall process supervision loss is ℒp​r​o​t​o=12​(ℒc​2​l+ℒl​2​c)\mathcal{L}_{proto}=\frac{1}{2}(\mathcal{L}_{c2l}+\mathcal{L}_{l2c}). The CoT-to-latent direction (ℒc​2​l\mathcal{L}_{c2l}) ensures that the latent embeddings collectively explain each explicit CoT embedding, while the latent-to-CoT direction (ℒl​2​c\mathcal{L}_{l2c}) encourages each latent embedding to capture diverse CoT semantics.

3.3 Progressive Sequential Alignment

Explicit CoT inherently follows a progressive process: early tokens build up the reasoning chain, while final tokens converge toward the answer. However, the unconstrained matching in the base PMPS allows any latent token to align with any CoT position, which risks failing to capture the progressive reasoning structure. Conversely, enforcing a rigid segmented mapping (e.g., uniformly partitioning the CoT into NlN_{l} segments for strict assignment) is overly restrictive: uniform partitioning introduces noisy supervision that undermines the flexibility of semantic-driven matching. To navigate between these two extremes, we introduce Progressive Sequential Alignment (PSA), which injects sequential structure into the matching through a soft Gaussian positional prior and gradually relaxes it via curriculum-scheduled decay.

Concretely, we augment 𝐌c​2​l\mathbf{M}_{c2l} with a bias penalizing positionally distant matches:

M^c​2​l(j,i)=Mc​2​l(j,i)−α⋅(jNc−1−iNl−1)2\hat{M}_{c2l}^{(j,i)}=M_{c2l}^{(j,i)}-\alpha\cdot\left(\frac{j}{N_{c}-1}-\frac{i}{N_{l}-1}\right)^{2} (8)

where j/(Nc−1)j/(N_{c}{-}1) and i/(Nl−1)i/(N_{l}{-}1) are normalized positions in [0,1][0,1], and α≥0\alpha\geq 0 controls the enforcement strength.

To balance structural guidance with representational flexibility, we adopt cosine annealing to decay α\alpha from αmax\alpha_{\max} to 00 over training:

α⁡(t)=αmax2​(1+cos⁡(π⋅tT))\alpha(t)=\frac{\alpha_{\max}}{2}\left(1+\cos\left(\pi\cdot\frac{t}{T}\right)\right) (9)

where tt and TT are the current and total training steps. Early in training (α\alpha large), the strong prior helps latent embeddings establish sequential structure and stabilizes matching. Late in training (α→0\alpha\to 0), the constraint is fully released, allowing adaptive alignment where reasoning steps may span or consolidate across latent tokens. PSA modifies only the matching scores before softmax, introducing no learnable parameters and incurring zero inference overhead.

3.4 Overall Training Objective

The overall training objective combines the base loss with our proposed process supervision loss:

ℒt​o​t​a​l=ℒb​a​s​e+λp​r​o​t​o⋅ℒp​r​o​t​o\mathcal{L}_{total}=\mathcal{L}_{base}+\lambda_{proto}\cdot\mathcal{L}_{proto} (10)

where λp​r​o​t​o\lambda_{proto} is the weighting coefficient for the process supervision loss.

The teacher task, prototype layer, projection head, and PSA module are used exclusively during training. At inference time, the model architecture and computational cost are identical to the single student task. This design ensures that all accuracy improvements from process supervision come at zero additional inference cost.

Table 1: Performance comparison on in-domain dataset and out-of-domain datasets. Experiments are conducted on three different backbones, reporting answer accuracy (Acc.) and output token length (Len.). Explicit CoT method is marked with xxx. The best and second best accuracy among latent reasoning approaches are highlighted in bold and underline, respectively.
Method In-domain Out-of-domain Average
GSM8K-Aug GSM-Hard SVAMP MultiArith Average
Acc. (%) Len. Acc. (%) Acc. (%) Acc. (%) Acc. (%) Len. Acc. (%) Len.
GPT-2
CoT-SFT 42.50 30.76 9.25 40.00 92.22 47.16 25.08 45.99 26.50
Coconut 36.50 15.40 7.58 34.67 82.20 41.48 11.87 40.24 12.75
CoLaR-2 11.07 14.43 2.58 15.00 41.11 19.56 10.89 17.44 11.78
CODI 40.86 12.23 9.40 40.00 92.22 47.21 12.89 45.62 12.72
SIM-CoT 42.08 12.24 9.40 43.00 93.89 48.76 12.58 47.09 12.49
PMPS(Ours) 44.35 12.24 10.46 48.33 96.67 51.82 12.58 49.95(+2.86) 12.49
Qwen2.5-0.5B-Instruct
CoT-SFT 59.82 42.68 16.91 61.67 97.78 58.79 38.91 59.05 39.85
Coconut 15.69 12.53 3.26 26.33 22.78 17.46 13.01 17.02 12.89
CoLaR-2 29.57 17.92 6.44 37.00 77.78 40.41 16.04 37.70 16.51
Latent-SFT 43.21 13.09 9.86 50.66 91.67 50.73 15.60 48.85 14.97
CODI 39.35 14.43 9.33 48.33 83.89 47.18 15.03 45.23 14.88
SIM-CoT 42.08 14.45 10.16 51.67 92.22 51.35 15.03 49.03 14.91
PMPS(Ours) 45.03 14.43 10.69 54.00 95.00 53.23 15.09 51.18(+2.15) 14.93
Llama-3.2-1B-Instruct
CoT-SFT 63.00 32.51 15.09 66.33 98.33 59.92 27.07 60.69 28.43
Coconut 40.03 16.44 8.42 47.33 83.89 46.55 13.80 44.92 14.46
CoLaR-2 42.15 12.70 8.95 55.33 91.67 51.98 13.41 49.53 13.24
Latent-SFT 48.82 12.83 10.54 50.33 90.56 50.48 9.65 50.06 10.44
CODI 53.90 13.21 12.28 56.00 97.78 55.35 11.46 54.99 11.90
SIM-CoT 56.03 13.20 12.36 60.33 97.22 56.64 13.47 56.49 13.41
PMPS(Ours) 56.56 13.19 13.42 63.67 97.22 58.10 13.51 57.72(+1.23) 13.43

4 Experiments

4.1 Experimental Setup

Training and Evaluation Data.

Following prior work on latent reasoning (Shen et al., 2025; Wei et al., 2025), we primarily train and evaluate on GSM8K-Aug (Deng et al., 2023), an augmented version of the GSM8K (Cobbe et al., 2021) where CoT annotations are structured arithmetic expressions rather than natural language. To assess the generalization ability of our method, we additionally evaluate on three out-of-domain (OOD) benchmarks: (1) GSM-Hard (Gao et al., 2023), (2) SVAMP (Patel et al., 2021), (3) MultiArith (Roy and Roth, 2015). Detailed information is provided in Appendix A.1. We adopt two evaluation metrics: Accuracy (Acc.) measures the correctness of the final numerical answer, and Length (Len.) measures the total number of generated tokens.

Baselines.

We compare our approach against six representative baselines across the following four categories: (1) Explicit CoT methods: CoT-SFT; (2) Curriculum learning-based methods: Coconut (Hao et al., 2024); (3) Token compression-based methods: CoLaR-2 (Tan et al., 2025) and Latent-SFT (Deng et al., 2026); (4) Self-distillation-based methods: CODI (Shen et al., 2025) and SIM-CoT (Wei et al., 2025). Notably, the latter three categories constitute latent reasoning methods. Detailed descriptions of all baselines are provided in Appendix A.2.

Implementation Details.

We conduct experiments on three model families: GPT-2 (Radford et al., 2019), Qwen2.5-0.5B-Instruct (Yang et al., 2024), and LLaMA-3.2-1B-Instruct (Grattafiori et al., 2024). For a fair comparison, all methods except Coconut adopt LoRA (Hu et al., 2022) fine-tuning with the same rank of 128; Coconut uses full-parameter fine-tuning as in its original implementation. For SIM-CoT, we adopt the CODI-based variant for a direct comparison under the same backbone. All other training hyperparameters follow the respective original papers and formal repositories. For PMPS, we set Nl=6N_{l}=6 for GPT-2 and Qwen2.5-0.5B-Instruct, and Nl=8N_{l}=8 for LLaMA-3.2-1B-Instruct. More detailed configurations are provided in Appendix B.

Table 2: Scalability to a larger backbone model. We report answer accuracy (Acc.) and output token length (Len.) on the four aforementioned benchmarks using LLaMA-3.2-3B-Instruct. Explicit CoT method is marked with xxx. The best and second best accuracy among latent reasoning approaches are highlighted in bold and underline, respectively.
Method In-domain Out-of-domain Average
GSM8K-Aug GSM-Hard SVAMP MultiArith Average
Acc. (%) Len. Acc. (%) Acc. (%) Acc. (%) Acc. (%) Len. Acc. (%) Len.
CoT-SFT 71.27 32.95 20.52 78.00 100.00 66.17 27.89 67.45 29.15
Coconut 11.98 12.25 2.35 14.67 13.33 10.12 12.23 10.58 12.24
CoLaR-2 57.39 12.89 13.87 69.00 96.67 59.85 9.88 59.23 10.63
CODI 54.28 13.20 12.96 67.00 100.00 59.99 13.48 58.56 13.41
SIM-CoT 61.41 13.19 14.03 71.67 97.22 60.97 13.53 61.08 13.45
PMPS(Ours) 63.46 13.17 14.40 71.33 100.00 61.91 13.48 62.30(+1.22) 13.40
Table 3: Scalability to more challenging task. We conduct experiments on MATH using LLaMA-3.2-3B-Instruct and Qwen3-4B-Instruct. The best accuracy among latent approaches is highlighted in bold.
Method Llama-3.2-3B Qwen3-4B
Acc. (%) Len. Acc. (%) Len.
COT-SFT 21.00 119.69 38.60 132.26
CoLaR-2 6.20 54.27 18.40 54.30
CODI 8.80 14.85 17.60 17.61
PMPS(Ours) 11.00 14.95 19.60 17.60
Table 4: Ablation Study on PSA maximum enforcement strength. The best configurations are marked with circles.

4.2 Main Result

Table 1 presents the main results on one in-domain benchmark (GSM8K-Aug) and three out-of-domain benchmarks (GSM-Hard, SVAMP, MultiArith), with three backbone models from different model families: GPT-2, Qwen2.5-0.5B-Instruct, and LLaMA-3.2-1B-Instruct.

Overall performance.

On GPT-2, PMPS outperforms the two leading latent reasoning baselines, CODI and SIM-CoT, by 3.49% and 2.27% on GSM8K-Aug, and by 4.33% and 2.86% in average accuracy. Remarkably, PMPS even exceeds the explicit reasoning upper bound CoT-SFT by 3.96% in average accuracy while using only 47.1% of the output tokens, demonstrating that latent reasoning with effective process supervision can surpass explicit CoT at significantly higher inference efficiency. On Qwen2.5-0.5B-Instruct and LLaMA-3.2-1B-Instruct, PMPS consistently outperforms all latent reasoning baselines. These performance gains across diverse model architectures and scales confirm the effectiveness of our proposed structural process supervision method.

Out-of-domain (OOD) generalization.

The OOD results show that PMPS generalizes robustly to unseen benchmarks: PMPS achieves an average accuracy of 51.82%, 53.23%, and 58.10% across three backbone models, surpassing the strongest latent baseline SIM-CoT by 3.06%, 1.88%, and 1.46%. The superior performance on OOD benchmarks confirms that our proposed PMPS helps internalize genuine arithmetic reasoning rather than shallow pattern matching.

Inference efficiency.

Compared to explicit CoT-SFT, PMPS reduces the output token length to under 50% across all three models (47.1%, 37.5% and 47.2%, respectively) while achieving comparable or superior accuracy. Critically, PMPS maintains output token length comparable to CODI and SIM-CoT, verifying that the accuracy improvements stem entirely from superior training-time structural process supervision rather than increased inference computation. Moreover, this structural supervision is lightweight: the projection head and prototypes only introduce less than 2M extra parameters (<1%<1\% of the base model), whereas SIM-CoT’s auxiliary decoder effectively doubles the trainable parameters during training.

4.3 Scaling to Larger Models and Harder Task

To further validate the scalability of PMPS, we conduct two additional groups of experiments: scaling to a larger backbone model and training on a more challenging dataset.

Larger model.

As shown in Table 2, we scale up the backbone model to LLaMA-3.2-3B-Instruct (Grattafiori et al., 2024) and evaluate performance across the aforementioned benchmarks. PMPS achieves the highest average accuracy among all latent reasoning baselines, outperforming CODI and SIM-CoT by +3.74% and +1.22%, respectively, while maintaining comparable output length. Notably, PMPS demonstrates marked improvements over CODI on the in-domain GSM8K-Aug benchmark (+9.18%) and reduces the generation token length by over 54% relative to explicit CoT method. These results confirm that the structural prototype-based alignment in PMPS remains highly effective as the model capacity scales up.

More challenging task.

As presented in Table 4, we conduct training and evaluation on MATH, which consists of highly challenging competition-level problems with substantially longer reasoning chains. We employ two larger backbone models: LLaMA-3.2-3B-Instruct and Qwen3-4B-Instruct (Yang et al., 2025). On both evaluated models, PMPS consistently outperforms leading latent reasoning baselines, with average accuracy gains of 2.1% over CODI. Moreover, it compresses the output token length to just 13% of CoT-SFT, resulting in significant inference acceleration. Notably, the CoT annotations in MATH are formulated as free-form solutions without explicit step delimiters, which precludes the application of methods relying on strict one-to-one latent-to-step alignment (e.g., Coconut, SIM-CoT). In contrast, PMPS operates via soft prototype matching and remains agnostic to specific formatting, enabling its direct application to any CoT data.

Refer to caption
Figure 3: Average pairwise latent cosine similarity heatmaps. The latent embeddings of CODI and SIM-CoT exhibit pronounced odd-even and tail collapse, respectively, whereas PMPS shows neither pattern of collapse.

4.4 Latent Embedding Analysis

To further investigate the reasons behind PMPS’s superior performance, we directly analyze the pairwise cosine similarity among the Nl=6N_{l}{=}6 latent embeddings on randomly sampled 100 GSM8K-Aug test instances using GPT-2. The analysis reveals that CODI and SIM-CoT suffer from distinct patterns of representation collapse, whereas PMPS maintains well-diversified representations free from either collapse mode. Additionally, we conduct the latent embedding interpretability experiments, which are provided in Appendix C.

PMPS resolves the odd-even collapse in CODI.

Figure 3 (a) presents the average pairwise cosine similarity matrices for CODI (left) and PMPS (right), where tokens are grouped into odd-indexed (l1,l3,l5l_{1},l_{3},l_{5}) and even-indexed (l2,l4,l6l_{2},l_{4},l_{6}) subsets. For CODI, two homogeneous diagonal blocks emerge: within-odd similarity averages 0.693, within-even reaches 0.800, yet cross-group similarity drops to 0.250. This pattern persists across all 100 samples. This phenomenon arises because CODI’s ℒd​i​s​t\mathcal{L}_{dist} constrains only the answer-position hidden state, leaving the latent embeddings unsupervised. The autoregressive mechanism then converges to a degenerate solution where each token diverges from its predecessor, forming two alternating representations. Our PMPS avoids this collapse through two complementary mechanisms: the Sinkhorn equipartition constraint assigns different latent tokens to distinct prototypes, and the bidirectional cross-prediction loss forces each token to encode unique CoT semantics. As shown in the right panel, PMPS exhibits no block-diagonal separation between odd and even groups, confirming preserved representation diversity.

PMPS eliminates the tail collapse in SIM-CoT.

Figure 3 (b) compares the average pairwise cosine similarity matrices of SIM-CoT (left) and PMPS (right). For SIM-CoT, similarity increases from head to tail, with the tail group (l4,l5,l6l_{4},l_{5},l_{6}) forming a prominent high-similarity block (average 0.805) that far exceeds the head group (average 0.591). This positive gap is observed in 85 % test samples, and the l5l_{5}–l6l_{6} pair similarity reaches 0.868, indicating near-complete convergence. This stems from SIM-CoT’s rigid one-to-one matching, which binds each latent token to exactly one CoT step. In our training data, 99.0% of samples have fewer steps than Nl=6N_{l}{=}6, leaving the tail latent tokens without corresponding supervision and collapsing into redundant representations. PMPS resolves this through soft many-to-many matching under the equipartition constraint, enabling each latent token to flexibly aggregate CoT content regardless of position. As shown in the right panel, PMPS displays no tail-concentrated block, with the tail group similarity even lower than head group, demonstrating that all six latent tokens encode diverse information.

4.5 Ablation Study

In this section, we conduct ablation studies to investigate the effects of different PMPS components, the maximum enforcement strength of PSA, and the number of latent embeddings and prototypes. Results on the number of latent embeddings and prototypes are provided in Appendix D.

Ablation on PMPS components.

Table 5: Ablation Study on PMPS components using GPT-2. Different modules are removed to assess their contributions to the final performance.
Method GSM8K-Aug OOD Average Average
Acc. (%) Acc. (%) Acc. (%)
PMPS 44.35 51.82 49.95
- w/o ℒl​2​c\mathcal{L}_{l2c} 39.42 48.42 46.17(-3.78)
- w/o ℒc​2​l\mathcal{L}_{c2l} 42.23 49.79 47.90(-2.05)
- w/o PSA 43.82 50.98 49.19(-0.76)
- w/o prototype 41.70 48.04 46.46(-3.49)

The results in Table 5 isolate the contribution of each component. Removing ℒl​2​c\mathcal{L}_{l2c} causes the largest degradation (−3.78%-3.78\% on Average), as it directly supervises the latent embeddings. Removing ℒc​2​l\mathcal{L}_{c2l} also leads to a notable drop (−2.05%-2.05\% on Average), as it regularizes the prototype space from the CoT side and improves the matching quality for ℒl​2​c\mathcal{L}_{l2c}. The two losses play complementary roles: ℒl​2​c\mathcal{L}_{l2c} drives the latent embeddings to absorb CoT semantics, while ℒc​2​l\mathcal{L}_{c2l} provides a reciprocal signal that refines the shared prototype space. Removing PSA leads to a consistent decline (−0.76%-0.76\% on Average), validating that the curriculum-scheduled positional prior provides necessary sequential structure guidance that pure semantic matching alone cannot recover. Removing prototypes and leveraging direct cosine-similarity matching also yields a substantial drop(−3.49%-3.49\% on Average), confirming that the categorical structure imposed by prototypes, where alignment is mediated through shared clusters, is essential for establishing meaningful many-to-many correspondences between the latent and explicit CoT embeddings.

Ablation on maximum enforcement strength.

Figure 4 studies the effect of αmax\alpha_{\max} on GPT-2 and Llama-3.2-1B-Instruct. Both models benefit from a moderate αmax\alpha_{\max}: GPT-2 peaks at αmax=2\alpha_{\max}=2 (44.35%), while Llama-3.2-1B achieves its best at αmax=6\alpha_{\max}=6 (56.56%). Excessively strong enforcement hurts performance on both models, as overly rigid positional constraints disrupt the flexibility of semantic-driven matching. Notably, the optimal αmax\alpha_{\max} scales with model capacity: GPT-2 (124M) favors a lighter prior, while Llama-3.2-1B (1B) benefits from stronger guidance, suggesting that larger models can better leverage structural priors before cosine annealing releases the constraint.

5 Conclusion

We propose PMPS, a novel training paradigm for latent reasoning that performs structural process-level supervision on latent embeddings via soft alignment. Experimental results demonstrate that across diverse model families, model sizes, and task difficulties, our method consistently achieves SOTA performance among latent reasoning approaches while reducing the output token length by more than 50% compared to explicit CoT. These findings highlight the strong generalization, robustness, and scalability of our approach. Furthermore, we conduct an in-depth analysis from the latent representation perspective, offering insights into why PMPS consistently outperforms existing baselines. However, the current evaluation of PMPS is mainly limited to mathematical reasoning. Future work should further explore the effectiveness of PMPS on a broader range of reasoning tasks.

References

  • Achiam et al. (2023) J. Achiam, S. Adler, S. Agarwal, L. Ahmad, I. Akkaya, F. L. Aleman, D. Almeida, J. Altenschmidt, S. Altman, S. Anadkat, et al. Gpt-4 technical report. arXiv preprint arXiv:2303.08774. Cited by: §1.
  • Caron et al. (2020) M. Caron, I. Misra, J. Mairal, P. Goyal, P. Bojanowski, and A. Joulin Unsupervised learning of visual features by contrasting cluster assignments. Advances in neural information processing systems 33, pp. 9912–9924. Cited by: §2.2, §3.2.
  • Chen et al. (2025) X. Chen, A. Zhao, H. Xia, X. Lu, H. Wang, Y. Chen, W. Zhang, J. Wang, W. Li, and X. Shen Reasoning beyond language: a comprehensive survey on latent chain-of-thought reasoning. arXiv preprint arXiv:2505.16782. Cited by: §1.
  • Cobbe et al. (2021) K. Cobbe, V. Kosaraju, M. Bavarian, M. Chen, H. Jun, L. Kaiser, M. Plappert, J. Tworek, J. Hilton, R. Nakano, et al. Training verifiers to solve math word problems. arXiv preprint arXiv:2110.14168. Cited by: §4.1.
  • Comanici et al. (2025) G. Comanici, E. Bieber, M. Schaekermann, I. Pasupat, N. Sachdeva, I. Dhillon, M. Blistein, O. Ram, D. Zhang, E. Rosen, et al. Gemini 2.5: pushing the frontier with advanced reasoning, multimodality, long context, and next generation agentic capabilities. arXiv preprint arXiv:2507.06261. Cited by: §1.
  • Cuturi (2013) M. Cuturi Sinkhorn distances: lightspeed computation of optimal transport. Advances in neural information processing systems 26. Cited by: §1, §3.2.
  • Deng et al. (2026) J. Deng, L. Pang, Z. Wei, S. Xu, Z. Duan, K. Xu, Y. Song, H. Shen, and X. Cheng LLM latent reasoning as chain of superposition. External Links: 2510.15522, Link Cited by: §1, §2.1, §4.1.
  • Deng et al. (2024) Y. Deng, Y. Choi, and S. Shieber From explicit cot to implicit cot: learning to internalize cot step by step. External Links: 2405.14838, Link Cited by: §1, §2.1.
  • Deng et al. (2023) Y. Deng, K. Prasad, R. Fernandez, P. Smolensky, V. Chaudhary, and S. Shieber Implicit chain of thought reasoning via knowledge distillation. arXiv preprint arXiv:2311.01460. Cited by: §4.1.
  • Gao et al. (2023) L. Gao, A. Madaan, S. Zhou, U. Alon, P. Liu, Y. Yang, J. Callan, and G. Neubig Pal: program-aided language models. In International conference on machine learning, pp. 10764–10799. Cited by: §4.1.
  • Grattafiori et al. (2024) A. Grattafiori, A. Dubey, A. Jauhri, A. Pandey, A. Kadian, A. Al-Dahle, A. Letman, A. Mathur, A. Schelten, A. Vaughan, et al. The llama 3 herd of models. arXiv preprint arXiv:2407.21783. Cited by: §1, §4.1, §4.3.
  • Hao et al. (2024) S. Hao, S. Sukhbaatar, D. Su, X. Li, Z. Hu, J. Weston, and Y. Tian Training large language models to reason in a continuous latent space. arXiv preprint arXiv:2412.06769. Cited by: §1, §2.1, §4.1.
  • Hu et al. (2022) E. J. Hu, Y. Shen, P. Wallis, Z. Allen-Zhu, Y. Li, S. Wang, L. Wang, W. Chen, et al. Lora: low-rank adaptation of large language models.. Iclr 1 (2), pp. 3. Cited by: §4.1.
  • Li et al. (2025a) B. Li, X. Sun, J. Liu, Z. Wang, J. Wu, X. Yu, H. Chen, E. Barsoum, M. Chen, and Z. Liu Latent visual reasoning. arXiv preprint arXiv:2509.24251. Cited by: §1.
  • Li et al. (2025b) J. Li, Y. Fu, L. Fan, J. Liu, Y. Shu, C. Qin, M. Yang, I. King, and R. Ying Implicit reasoning in large language models: a comprehensive survey. arXiv preprint arXiv:2509.02350. Cited by: §1.
  • Li et al. (2020) J. Li, P. Zhou, C. Xiong, and S. C. Hoi Prototypical contrastive learning of unsupervised representations. arXiv preprint arXiv:2005.04966. Cited by: §2.2.
  • Liao et al. (2023) Y. Liao, S. Jiang, Y. Li, Y. Wang, and Y. Wang Self-improvement of non-autoregressive model via sequence-level distillation. In Proceedings of the 2023 conference on empirical methods in natural language processing, pp. 14202–14212. Cited by: §3.1.
  • Lightman et al. (2024) H. Lightman, V. Kosaraju, Y. Burda, H. Edwards, B. Baker, T. Lee, J. Leike, J. Schulman, I. Sutskever, and K. Cobbe Let’s verify step by step. In International Conference on Learning Representations, Vol. 2024, pp. 39578–39601. Cited by: §2.2.
  • Liu et al. (2025) A. Liu, A. Mei, B. Lin, B. Xue, B. Wang, B. Xu, B. Wu, B. Zhang, C. Lin, C. Dong, et al. Deepseek-v3. 2: pushing the frontier of open large language models. arXiv preprint arXiv:2512.02556. Cited by: §1.
  • Liu et al. (2026) Y. Liu, M. Ma, X. Yu, P. Ding, H. Zhao, M. Sun, S. Huang, and D. Wang Ssr: enhancing depth perception in vision-language models via rationale-guided spatial reasoning. Advances in Neural Information Processing Systems 38, pp. 123926–123958. Cited by: §3.1.
  • Patel et al. (2021) A. Patel, S. Bhattamishra, and N. Goyal Are nlp models really able to solve simple math word problems?. In Proceedings of the 2021 conference of the North American chapter of the association for computational linguistics: human language technologies, pp. 2080–2094. Cited by: §4.1.
  • Radford et al. (2019) A. Radford, J. Wu, R. Child, D. Luan, D. Amodei, I. Sutskever, et al. Language models are unsupervised multitask learners. OpenAI blog 1 (8), pp. 9. Cited by: §4.1.
  • Roy and Roth (2015) S. Roy and D. Roth Solving general arithmetic word problems. In Proceedings of the 2015 conference on empirical methods in natural language processing, pp. 1743–1752. Cited by: §4.1.
  • Shen et al. (2025) Z. Shen, H. Yan, L. Zhang, Z. Hu, Y. Du, and Y. He Codi: compressing chain-of-thought into continuous space via self-distillation. In Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, pp. 677–693. Cited by: §1, §2.1, §3.1, §4.1, §4.1.
  • Sun et al. (2019) S. Sun, Y. Cheng, Z. Gan, and J. Liu Patient knowledge distillation for bert model compression. In Proceedings of the 2019 conference on empirical methods in natural language processing and the 9th international joint conference on natural language processing (EMNLP-IJCNLP), pp. 4323–4332. Cited by: §2.2.
  • Tan et al. (2025) W. Tan, J. Li, J. Ju, Z. Luo, R. Song, and J. Luan Think silently, think fast: dynamic latent compression of llm reasoning chains. Advances in Neural Information Processing Systems 38, pp. 4646–4668. Cited by: §1, §2.1, §4.1.
  • Wang et al. (2024) P. Wang, L. Li, Z. Shao, R. Xu, D. Dai, Y. Li, D. Chen, Y. Wu, and Z. Sui Math-shepherd: verify and reinforce llms step-by-step without human annotations. In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 9426–9439. Cited by: §2.2.
  • Wang et al. (2020) W. Wang, F. Wei, L. Dong, H. Bao, N. Yang, and M. Zhou Minilm: deep self-attention distillation for task-agnostic compression of pre-trained transformers. Advances in neural information processing systems 33, pp. 5776–5788. Cited by: §2.2.
  • Wei et al. (2022) J. Wei, X. Wang, D. Schuurmans, M. Bosma, F. Xia, E. Chi, Q. V. Le, D. Zhou, et al. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems 35, pp. 24824–24837. Cited by: §1, §2.1.
  • Wei et al. (2025) X. Wei, X. Liu, Y. Zang, X. Dong, Y. Cao, J. Wang, X. Qiu, and D. Lin SIM-cot: supervised implicit chain-of-thought. arXiv preprint arXiv:2509.20317. Cited by: §1, §2.1, §4.1, §4.1.
  • Yang et al. (2025) A. Yang, A. Li, B. Yang, B. Zhang, B. Hui, B. Zheng, B. Yu, C. Gao, C. Huang, C. Lv, et al. Qwen3 technical report. arXiv preprint arXiv:2505.09388. Cited by: §1, §4.3.
  • Yang et al. (2024) A. Yang, B. Yang, B. Zhang, B. Hui, B. Zheng, B. Yu, C. Li, D. Liu, F. Huang, H. Wei, et al. Qwen2.5 technical report. arXiv preprint arXiv:2412.15115. Cited by: §4.1.
  • Zeng et al. (2026) A. Zeng, X. Lv, Z. Hou, Z. Du, Q. Zheng, B. Chen, D. Yin, C. Ge, C. Huang, C. Xie, et al. Glm-5: from vibe coding to agentic engineering. arXiv preprint arXiv:2602.15763. Cited by: §1.
  • Zhang et al. (2019) L. Zhang, J. Song, A. Gao, J. Chen, C. Bao, and K. Ma Be your own teacher: improve the performance of convolutional neural networks via self distillation. In Proceedings of the IEEE/CVF international conference on computer vision, pp. 3713–3722. Cited by: §3.1.
  • Zhang et al. (2025) Z. Zhang, X. He, W. Yan, A. Shen, C. Zhao, and X. Wang Soft thinking: unlocking the reasoning potential of llms in continuous concept space. Advances in Neural Information Processing Systems 38, pp. 168990–169012. Cited by: §1.
  • Zhu et al. (2025) R. Zhu, T. Peng, T. Cheng, X. Qu, J. Huang, D. Zhu, H. Wang, K. Xue, X. Zhang, Y. Shan, T. Cai, T. Kergan, A. Kembay, A. Smith, C. Lin, B. Nguyen, Y. Pan, Y. Chou, Z. Cai, Z. Wu, Y. Zhao, T. Liu, J. Yang, W. Zhou, C. Zheng, C. Li, Y. Zhou, Z. Li, Z. Zhang, J. Liu, G. Zhang, W. Huang, and J. Eshraghian A survey on latent reasoning. External Links: 2507.06203, Link Cited by: §1.

Appendix A Benchmarks and Baselines

A.1 Benchmarks

GSM8K-Aug.

GSM8K-Aug expands the original GSM8K training set from approximately 7.5K to 385K examples through GPT-4-based data generation, while retaining the standard 1,319-example test split. Unlike the natural language reasoning chains in GSM8K, the chain-of-thought annotations in GSM8K-Aug are represented as structured sequences of arithmetic expressions (e.g., <<12*3=36>><<9*2=18>><<36+18=54>>), where each expression is logically derived from preceding steps. This format facilitates training latent reasoning models by providing concise yet faithful step-by-step supervision.

GSM-Hard.

GSM-Hard is a more challenging variant of GSM8K, created by replacing the numerical values in the original problems with larger numbers that require more complex arithmetic operations. This dataset is designed to evaluate the arithmetic robustness and compositional reasoning capabilities of language models under increased computational difficulty.

SVAMP.

SVAMP (Simple Variations on Arithmetic Math word Problems) is a challenge set of elementary-level math word problems that tests sensitivity to structural variations in problem statements. By systematically varying question types, equation structures, and entity associations, SVAMP exposes models that rely on shallow heuristics rather than genuine mathematical reasoning.

MultiArith.

MultiArith is a benchmark consisting of multi-step arithmetic word problems that require two or more mathematical operations to solve. It evaluates a model’s ability to correctly decompose complex problem narratives into sequential reasoning steps involving basic arithmetic operations such as addition, subtraction, multiplication, and division.

MATH.

MATH is a comprehensive benchmark comprising 12,500 competition-level mathematics problems spanning seven subjects including algebra, geometry, number theory, and combinatorics. Problems are annotated with difficulty levels from 1 to 5, and each solution requires multi-step reasoning with formal mathematical derivations, making it a rigorous testbed for advanced mathematical reasoning capabilities.

A.2 Baselines

CoT-SFT.

CoT-SFT is a standard baseline that directly fine-tunes the language model on (Question, Chain-of-Thought, Answer) triples via supervised fine-tuning, where the model learns to generate explicit step-by-step reasoning tokens before producing the final answer. It serves as the upper-bound reference for explicit reasoning performance, against which latent reasoning methods are compared.

Coconut.

Coconut proposes a multi-stage curriculum learning strategy to train latent reasoning: starting from standard CoT data, it progressively replaces explicit language reasoning steps with continuous thoughts (the last hidden states of the LLM fed back directly as input embeddings), stage by stage, until all reasoning steps are internalized into the continuous latent space. This curriculum-based approach allows the model to gradually transition from explicit language reasoning to fully latent reasoning, avoiding the difficulty of learning continuous thought representations from scratch.

CoLaR-2.

CoLaR-2 dynamically compresses explicit reasoning chains into the latent space through a two-stage training approach: first, supervised fine-tuning with an auxiliary next compressed embedding prediction objective that merges consecutive token embeddings using a variable compression factor; second, reinforcement learning that leverages the latent head’s non-deterministic nature to explore diverse reasoning paths. In our experiments, we set the compression rate to 2. This framework allows the model to adjust reasoning speed at inference time by simply prompting the desired compression factor, achieving significant reductions in reasoning chain length with minimal performance degradation.

Latent-SFT.

Latent-SFT frames latent reasoning as a ”chain of superposition”, where each latent token carries higher entropy and encodes a superposition of multiple reasoning trajectories rather than merely compressing a single reasoning path. It introduces a unified framework addressing challenges at three levels: constraining hidden states within the pre-trained vocabulary space (Latent-Vocab), constructing semantically compact and sufficient latent chains via Induction-Supervision Masking (Latent-Chain), and employing stochastic Gumbel-Softmax optimization to guide the model toward generalizable solutions (Latent-Optim).

CODI.

CODI compresses explicit Chain-of-Thought reasoning into a continuous latent space through a self-distillation framework, jointly training a teacher task (explicit CoT) and a student task (implicit CoT) while aligning their hidden states at a designated token position.

Sim-CoT

Sim-CoT addresses the latent instability problem in implicit CoT methods where latent representations become homogeneous and lose semantic diversity as the number of reasoning tokens increases by introducing step-level supervision via an auxiliary decoder during training that aligns each implicit token with its corresponding explicit reasoning step. The auxiliary decoder is removed at inference time, preserving the token efficiency of implicit CoT with no added overhead, while also providing interpretability through per-step projection onto the explicit reasoning vocabulary.

Appendix B Implementation Details

In this section, we present the detailed hyperparameter configurations used in all experiments. Across all experiments, we adopt the AdamW optimizer with a weight decay of 0.1 and a warmup ratio of 0.03. For CoT-SFT, CoLaR-2, CODI, SIM-CoT, and our proposed PMPS, we apply LoRA-based fine-tuning with the LoRA rank set to 128 and the LoRA alpha set to 32. All models are trained on 8 NVIDIA A100 GPUs, and all evaluations are conducted on a single NVIDIA A100 GPU.

CoT-SFT.

For GPT-2, the batch size is set to 256 and the learning rate to 8×1−48\times 1^{-4}, trained for 40 epochs. For Qwen2.5-0.5B-Instruct and Llama-3.2-1B-Instruct, the batch size is set to 512 with learning rates of 8×10−48\times 10^{-4} and 8×9−48\times 9^{-4}, respectively, trained for 20 epochs.

Coconut.

All models use a batch size of 128 and a learning rate of 1×1−41\times 1^{-4}. Each stage replaces one CoT step with two latent embeddings, with a maximum of 5 stages, trained for 20 epochs in total. All other parameters remain consistent with the original paper.

CoLaR-2.

All models are configured with a compression rate of 2, a batch size of 256, and a learning rate of 1×1−41\times 1^{-4}, trained for 50 epochs. All other parameters follow the original paper.

Latent-SFT.

In Stage 2, the Gumbel temperature and noise scale are set to 1.0 for all models. The LoRA rank is set to 64, with a batch size of 512 and a learning rate of 3×1−43\times 1^{-4}, trained for 50 epochs. All other stages and parameters remain consistent with the original paper.

CODI and Sim-CoT.

For GPT-2, Qwen2.5-0.5B-Instruct, and Llama-3.2-1B-Instruct, the learning rates are set to 3×1−33\times 1^{-3}, 8×10−48\times 10^{-4}, and 8×9−48\times 9^{-4}, respectively, with corresponding distillation loss factors of 1.0, 1.0, and 20.0. All other parameters follow the original paper.

PMPS.

Across all experiments, the regularization paramete ϵ\epsilon is set to 0.05, the matching temperature τm\tau_{m} to 0.3, the prediction temperature τ\tau to 0.1, and the prototype dimension dd to 128. To improve prototype utilization and stability, Sinkhorn assignment is performed at the batch level rather than on individual samples, with the number of iterations set to 3. For GPT-2 and Qwen2.5-0.5B-Instruct, λp​r​o​t​o\lambda_{proto} is set to 0.5, the batch size to 256, the numbers of latents and prototypes to 6 and 24 respectively, and the maximum enforcement strength to 2. For Llama-3.2-1B-Instruct, λp​r​o​t​o\lambda_{proto} is set to 0.3, the batch size to 512, the number of latents and prototypes to 8 and 32, respectively, and the maximum enforcement strength to 6. All remaining parameters are consistent with CODI.

Appendix C Interpretability Experiment

To qualitatively examine whether the latent reasoning embeddings encode semantically meaningful information, we conduct a token-level decoding analysis. Specifically, for each latent embedding at every reasoning step, we project it through the language model head to obtain a distribution over the vocabulary, and extract the top-55 tokens ranked by probability. This procedure reveals what linguistic or symbolic content each latent step implicitly encodes without any explicit textual supervision on the latent space. We evaluate on GSM8K test samples using GPT-2 trained with Nl=6N_{l}=6 latent steps and PMPS supervision. Following CODI, the final CoT step is excluded from the teacher’s reasoning chain during training, as it would expose the answer verbatim before the distillation anchor point, causing the teacher’s hidden state to degenerate into a trivial copy operation rather than encoding genuine reasoning. Two cases are presented in Figure 4.

Refer to caption
Figure 4: Interpretability cases of PMPS. We decode the latent embeddings and visualize the top-5 tokens with the highest probabilities, aligning them with the corresponding chain-of-thought (CoT) steps.

Appendix D Ablation Study

Ablation on number of latent tokens.

Figure 5(a) compares PMPS (with a prototype-to-latent ratio of 4×\times) against the CODI baseline across varying numbers of latent tokens. PMPS outperforms CODI at all latent counts except for 2, where the limited number of latent tokens constrains the capacity of prototype-based alignment, leaving insufficient room for soft matching to take effect. The best performance is achieved at 6 and 7 latent tokens. Notably, CODI suffers a sharp accuracy drop at 8 latent tokens, falling to the lowest among all configurations, indicating that its answer-level distillation alone is insufficient to supervise a larger set of latent representations. PMPS, however, still maintains competitive accuracy at 8 latent tokens, demonstrating that the prototype-based alignment provides more stable supervision and enables the method to scale up effectively.

Figure 5: Ablation study on number of latent tokens and prototypes. Results are obtained with GPT-2 on GSM8K-Aug and compared against the CODI baseline.

Ablation on number of prototypes.

Figure 5(b) examines the impact of the prototype-to-latent ratio by varying it across {2×\times, 3×\times, 4×\times, 5×\times, 6×\times}. Among all ratios, the 4×\times setting consistently yields the best overall performance across different latent counts. A ratio that is too small (e.g., 2×\times or 3×\times) limits the expressiveness of the prototype space, providing insufficient semantic granularity for diverse reasoning patterns. Conversely, an excessively large ratio (e.g., 6×\times) introduces redundant prototypes that may dilute the clustering signal. Based on these results, we adopt a prototype-to-latent ratio of 4×\times as the default setting in all other experiments.