2026· IEEE Open Journal of the Computer Society· Vol 7, pp. 1450-1461· 0 citations· 24 references
TL;DR
Results demonstrate that explicit structural pattern matching can enable zero-shot cross-domain reasoning transfer without target-domain labels or model-weight updates, and show that the improvement comes from the combination of graph-based abstraction, WL-kernel structural retrieval, and verifier-controlled selective transfer.
Abstract
Large language models often solve problems within familiar domains but struggle to transfer the same reasoning strategy across domains with different surface vocabularies. We present COMETS (Cross-domain Memory Enrichment and Transfer System), a training-free framework for cross-domain reasoning transfer through explicit structural pattern matching. COMETS abstracts solved source-domain problems into typed reasoning graphs over domain-agnostic operations such as assign, filter, divide, loop, and return. At inference time, it first generates a zero-shot target-domain solution. If the solution fails validation, COMETS retrieves structurally similar source patterns using the Weisfeiler–Lehman graph kernel and injects them into a corrective prompt. This selective baseline-first strategy avoids pattern-distraction failures that arise when structural hints are applied unconditionally to problems the model can already solve. We evaluate COMETS on MBPP code generation using reasoning patterns extracted from GSM8K and SVAMP arithmetic problems. COMETS achieves 87.5% Pass@1, compared with 71.5% for zero-shot prompting and 76.0% for semantic retrieval. The gains are largest on complex problems, where accuracy improves from 37.2% to 76.7%. Ablations show that the improvement comes from the combination of graph-based abstraction, WL-kernel structural retrieval, and verifier-controlled selective transfer. These results demonstrate that explicit structural pattern matching can enable zero-shot cross-domain reasoning transfer without target-domain labels or model-weight updates.
Large Language Models (LLMs) have recently demonstrated remarkable capabilities across a wide range of domains, including education, programming, and scientific problem-solving. However, mathematical problem-solving remains challenging because LLMs often generate logically inconsistent solutions and are susceptible to...
Imam Fadhkur Rokhim, Diana Purwitasari, R. Anggraini et al.· Engineering, Technology &...· 0 citations
These stages establish a constructive post-training path from English-pivoted capability to multilingual reasoning that is reliably delivered, and jointly track correctness, language adherence, termination, and delivery efficiency.
Hong-Yang Li, Xiao Li, Caesar Wu et al.· 0 citations
Two novel contributions are introduced: CodeEval and CodeQual, an open-source execution framework that provides researchers with a ready-to-use evaluation pipeline for evaluating and improving LLMs in software engineering contexts, encompassing both functional correctness assessment and subjective code quality evaluati...
DynaRule is proposed, an end-to-end framework that injects the given rules into the KV cache and turns retrieval into an internal, learnable, step-wise process, and can re-attend to the most relevant rules at each step, dynamically replacing outdated ones to support more stable multi-step reasoning.
Bo-Han Yu, Pengfei Cao, Chen Han et al.· 1 citation
Self-play supports the self-evolution of language models, but solver performance can plateau or decline across rounds without guidance. Existing unguided methods typically use difficulty, learnability, or diversity signals to keep questions challenging and varied, without identifying which unresolved reasoning weakness...
Xin Wei, Yinze Ding, Fu-Cheng Xiong et al.· 1 citation
SOLID is proposed, a novel framework for self-improving OR language models without verified answers or external evaluators that improves solution accuracy for both general-purpose and OR-tuned models over outcome-only group-relative training.
Rui-Chen Zhu, Ming-Long Cao, Chen-Yu Zhou et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.