TDA-RC: Task-Driven Alignment for Knowledge-Based Reasoning Chains in Large Language Models
Authors: Jiaquan Zhang, Qigan Sun, Chaoning Zhang, Xudong Wang, Zhenzhen Huang, Yitian Zhou, Pengcheng Zheng, Chi-lok Andy Tai, +6 more
Organizations: School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China · School of Computing, Kyung Hee University, Yongin-si, South Korea · School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China · College of Professional and Continuing Education, The Hong Kong Polytechnic University, Hong Kong, China · School of Robotics and Advanced Manufacture, Harbin Institute of Technology, Shenzhen, China · School of Computer Science and Technology, Tongji University, Shanghai, China
Enhancing the reasoning capability of large language models (LLMs) remains a core challenge in natural language processing. The Chain-of-Thought (CoT) paradigm dominates practical applications for its single-round efficiency, yet its reasoning chains often exhibit logical gaps. While multi-round paradigms like Graph-of-Thoughts (GoT), Tree-of-Thoughts (ToT), and Atom of Thought (AoT) achieve strong performance and reveal effective reasoning structures, their high cost limits practical use. To address this problem, this paper proposes a topology-based method for optimizing reasoning chains. The framework embeds essential topological patterns of effective reasoning into the lightweight CoT paradigm. Using persistent homology, we map CoT, ToT, and GoT into a unified topological space to quantify their structural features. On this basis, we design a unified optimization system: a Topological Optimization Agent diagnoses deviations in CoT chains from desirable topological characteristics and simultaneously generates targeted strategies to repair these structural deficiencies. Compared with multi-round reasoning methods like ToT and GoT, experiments on multiple datasets show that our approach offers a superior balance between reasoning accuracy and efficiency, showcasing a practical solution to ``single-round generation with multi-round intelligence''.
Figures & tables
Fig. 1 : The upper part illustrates the offline procedure for constructing task-specific health bands, where reasoning chains are modeled as topological graphs and persistent homology features are extracted to characterize their structural properties. The lower part presents the online usage pipeline of TDA-RC, which performs a single-round closed-loop optimization consisting of health evaluation, structural diagnosis, and agent-based prompt repair. By combining persistent homology with reasoning feature analysis, TDA-RC identifies structural inconsistencies in LLM reasoning and generates targeted repair strategies, enabling one-shot refinement of the prompt to improve structural coherence and task accuracy.
Figure 2
Fig. 2 : Topological profiles of six metrics, averaged across datasets for CoT, ToT, GoT, and AoT, computed via TDA.
Fig. 3 : Task-specific Topological Health Bands derived from core topological metrics computed on correct reasoning traces.
Metric
Fcoh
Fdiv
Fval
Fpen
δ
Fcomplexity
Fcoh
1.00
0.18
0.22
0.11
0.27
0.19
Fdiv
0.18
1.00
0.31
0.09
0.33
0.42
Fval
0.22
0.31
1.00
0.28
0.21
0.36
Fpen
0.11
0.09
0.28
1.00
0.25
0.29
δ
0.27
0.33
0.21
0.25
1.00
0.31
Fcomplexity
0.19
0.42
0.36
0.29
0.31
1.00
TABLE I : Spearman correlation matrix among TDA structural metrics (computed on correct reasoning traces of GSM8K and MATH combined).
Fig. 4 : Accuracy vs. relative cost (CoT = 1.0) for reasoning methods on GPT-4o-mini, Qwen-Turbo, and DeepSeek-V3. Each point represents a reasoning approach, with accuracy on the y-axis and generation cost on the x-axis. CoT, AoT, and TDA-RC are highlighted for reference. Methods closer to the upper-left region achieve a more favorable.
Target Task
Source Task
Self-band
Transferred
MATH
GSM8K
82.7
82.4
GSM8K
MATH
94.2
94.1
HotpotQA
MuSiQue
70.6
70.4
MuSiQue
HotpotQA
37.8
37.6
TABLE V: Accuracy (%) of TDA-RC under self-band vs. transferred-band settings. Small differences indicate strong cross-task transferability.
Metric
G → M
M → G
H → Q
Q → H
Fcoh
0.07
0.05
0.04
0.05
Fdiv
0.09
0.06
0.05
0.06
Fval
0.05
0.04
0.03
0.03
Fpen
0.08
0.05
0.04
0.04
δ
0.06
0.04
0.03
0.03
Fcomplexity
0.10
0.07
0.06
0.06
TABLE VI: 1-Wasserstein distances ( W1 ) between topological metric distributions across tasks. Lower values indicate higher structural similarity.
Dataset
[Q1,Q3]
[Q1,Q4]
[Q2,Q3]
[Q2,Q4]
MATH
82.7
82.2
82.9
83.0
OlympiadBench (Math)
12.6
12.3
12.8
12.9
GSM8K
94.2
93.8
94.0
94.4
BBH
82.5
82.0
82.7
82.1
MMLU-CF
70.8
70.3
70.6
70.7
LongBench
59.3
58.6
58.8
58.7
TABLE VII: Ablation results of different health threshold ranges in the TDA-RC framework on GPT-4o-mini. Higher values indicate better accuracy (%).
Dataset
A1
A2
A3
A4
A5
MATH
82.7
81.1
81.2
81.3
81.4
OlympiadBench (Math)
12.6
11.8
11.9
12.0
12.1
GSM8K
94.2
91.9
91.9
92.0
92.0
BBH
82.5
80.6
80.6
80.5
80.7
MMLU-CF
70.8
70.4
70.4
70.4
70.5
LongBench
59.3
58.7
58.6
58.7
58.7
TABLE VIII: Ablation study results (%) of the proposed TDA-RC framework under different module configurations (A1–A5) on the GPT-4o-mini model. A1–A5 denote progressively modified variants removing or replacing specific modules.
Figure 11Figure 12
Topological Metric
Initial Value
Health Band
Optimized
Fcoh
0.00
[0.34,0.71]
0.65
Fval
0.00
[0.45,0.76]
0.56
Fdiv
1.00
[1.42,3.91]
2.31
Fpen
4.20
[1.40,3.30]
3.10
δ
0.22
[0.23,0.54]
0.26
Fcomplexity
14.50
[10.20,23.7]
22.10
TABLE IX: Topological reasoning metrics for the MATH (Algebra) task, reporting initial values, task-specific health bands, and the post-optimization improvements. Missing optimized values indicate metrics not directly targeted during the refinement process.
Figure 14Figure 15
Topological Metric
Initial Value
Health Band
Optimized
Fcoh
0.80
[0.08,0.35]
0.28
Fval
0.85
[0.15,0.43]
0.39
Fdiv
1.30
[2.31,5.88]
4.10
Fpen
1.20
[0.40,1.90]
1.40
δ
0.22
[0.22,0.48]
0.25
Fcomplexity
4.80
[16.20,32.70]
22.10
TABLE X: Topological reasoning metrics for the MMLU-CF (Physics / General Science) task, reporting initial values, task-specific health bands, and the corresponding optimized improvements.
Chain-of-Thought (CoT) prompting has significantly improved the reasoning capabilities of large language models (LLMs). However, conventional CoT often relies on unstructured, flat reasoning chains that suffer from redundancy and suboptimal performance. In this work, we introduce Hierarchical Chain-of-Thought (Hi-CoT), a structured reasoning paradigm specifically designed to address the challenges of complex, multi-step reasoning. Hi-CoT decomposes the reasoning process into hierarchical substeps by alternating between instructional planning and step-by-step execution. This decomposition enables LLMs to better manage long reasoning horizons and maintain logical coherence. Extensive evaluations across diverse LLMs and mathematical reasoning benchmarks show that Hi-CoT consistently improves average accuracy by 6.2% (up to 61.4% on certain models and tasks) while reducing reasoning trace length by 13.9% compared to CoT. We further show that accuracy and efficiency are maximized when models strictly adhere to the hierarchical structure. Our code is available at https://github.com/XingshuaiHuang/Hi-CoT.
Long chain-of-thought~(CoT) reasoning improves the problem-solving capability of large reasoning models~(LRMs), but often incurs substantial inference cost and overthinking. Existing efficiency methods primarily rely on prompting, post-hoc compression, or length-regularized optimization; these approaches can be sensitive to model scale, depend on external estimators, or under-allocate reasoning to difficult instances. We propose Draft-Thinking, a lightweight adaptation framework that learns a model-adapted draft CoT: a compact, self-contained working derivation that directly supports the final answer. We identify a Cross-Scale Draft Mismatch: concise traces generated by a strong teacher can be too sparse for a smaller target model. To address this mismatch, Progressive Draft Adaptation first transfers a concise reasoning-form prior through supervised fine-tuning (SFT) and then applies two-stage reinforcement learning (RL) with progressively harder data and relaxed response budgets to calibrate the reasoning granularity to the target model. The method requires neither post-hoc trajectory compression nor an explicit length-penalty reward. At inference time, draft, adaptive, and step-by-step prompts provide efficiency-oriented, balanced, and detailed reasoning modes, respectively. The step-by-step mode largely preserves the original model's accuracy while using fewer tokens. With only 847 training problems and 120 RL optimization steps, Draft-Thinking substantially reduces reasoning cost across six mathematical and scientific reasoning benchmarks. On MATH500, its draft mode reduces the average response length from 5,668 to 986 tokens, an 82.6% reduction, while achieving 90.6% accuracy compared with 93.0% for the original long CoT model.
The Chain-of-Thought (CoT) paradigm, while enhancing the interpretability of Large Language Models (LLMs), is constrained by the inefficiencies and expressive limits of natural language. Latent Chain-of-Thought (latent CoT) reasoning, which operates in a continuous latent space, offers a promising alternative but faces challenges from structural complexities in existing multi-step or multi-model paradigms, such as error propagation and coordination overhead. In this paper, we introduce One-Model One-Step, a novel compression framework for Latent Reasoning with Rule-Based Priors(RuPLaR) to address this challenge. Our method trains an LLM to autonomously generate latent reasoning tokens in a single training stage, guided by rule-based prior probability distributions, thereby eliminating cascaded processes and inter-model dependencies. To ensure reasoning quality, we design a joint training objective that enforces answer consistency via cross-entropy, aligns soft tokens with rule-based priors via KL divergence (the Soft Thinking constraint), and adds a problem-thought semantic alignment constraint in the representation space. Extensive experiments show that our compression framework not only improves accuracy by 11.1% over existing latent CoT methods but also achieves this with minimal token usage, underscoring its effectiveness and extensibility. Code: https://github.com/xiaocen-luo/RuPLaR.
Xiaocheng Luo, Kang Wang, Zaifu Zhan +2
School of Computer Science and Technology, Soochow University, Suzhou, 215006, Jiangsu, PR China · Department of Electrical and Computer Engineering, University of Minnesota, Minneapolis, 55455, MN, USA