SALA is proposed, a Semantic-Aware Logical Alignment framework that automatically learns task-specific reasoning operations and uses dynamic time warping to align the reasoning sequences.
Abstract
Effective in-context learning (ICL) for complex reasoning relies on selecting the right demonstrations. Traditional retrieval methods based on surface similarity fail to capture the underlying problem-solving logic. Recent logic-based methods address this by matching predefined reasoning steps, but the rigid rules and exact-match criteria is improper to handle flexible or diverse reasoning processes. To address the problem, we propose SALA, a Semantic-Aware Logical Alignment framework. Instead of relying on a fixed inventory, SALA automatically learns task-specific reasoning operations. It then embeds these operations into a continuous semantic space and uses dynamic time warping (DTW) to align the reasoning sequences. This approach allows for soft, flexible matching of reasoning logic while remaining highly interpretable. Experiments across four reasoning benchmarks and three LLMs demonstrate that SALA outperforms existing demonstration selection methods. Further analysis confirms the roles of the operation induction and the logical semantic alignment.
This work proposes Step-wise Training for In-context Reasoning (STIR), a model to dynamically decide when to retrieve a single logically consistent next step, just using the current problem and its intermediate state as the query.
Cheng Yang, Zhenya Huang, Liyang He et al.· Proceedings of the 32nd ACM...· 0 citations
HMS is introduced, a scalable framework that induces coarse- and fine-grained reasoning structures without predefined taxonomies and reveals a shared organization--understanding/planning, translating/drafting, and refining/verifying--alongside domain-specific variation.
Yu-Xiang Liu, Jiaming Luo, Eleftheria Briakou et al.· 0 citations
This paper presents a self-demonstration-driven approach that combines a neuro-symbolic task decomposition with a novel mechanism for automatically generating pattern-guided, dependency-aware demonstrations to address the integration challenge of heterogeneous relational databases into a centralized ontology.
Siddhesh Thombre, Manasi S. Patwardhan, Sunita Sarawagi· 0 citations
MPAR-Bench is introduced, a bilingual English-Chinese benchmark that isolates reasoning breadth through multi-point associative reasoning, and case-level analysis shows that extended reasoning can overturn an initially correct hypothesis.
Si'an Xie, Jiaxu Liu, Biao Yang et al.· 0 citations
SALR is proposed, a schema-anchored latent reasoning method for LF construction that performs multi-step reasoning by generating continuous thoughts in the model's hidden states, thereby delaying the explicit commitment to LF decisions.
Guang-Ze Gao, Zi-Xuan Li, Si-Kui Zhang et al.· 0 citations
It is shown the path to generalizing L2 reasoning to held-out languages goes through broader language coverage, readily available multilingual non-reasoning data, and a sufficient English reasoning backbone, indicating that reasoning is a language-agnostic behavior that can be transferred across typologically diverse l...
Mehrnaz Mofakhami, Ananya Sahu, Alejandro R. Salamanca et al.· 0 citations