From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation Article Swipe

MAKE IMPACT

Qingchuan Li , Tongxuan Liu · YOU? · · 2025 · Open Access · · DOI: https://doi.org/10.48550/arxiv.2512.03360

Logical reasoning is a core challenge in natural language understanding and a fundamental capability of artificial intelligence, underpinning scientific discovery, mathematical theorem proving, and complex decision-making. Despite the remarkable progress of large language models (LLMs), most current approaches still rely on forward reasoning paradigms, generating step-by-step rationales from premises to conclusions. However, such methods often suffer from redundant inference paths, hallucinated steps, and semantic drift, resulting in inefficient and unreliable reasoning. In this paper, we propose a novel framework, Hypothesis-driven Backward Logical Reasoning (HBLR). The core idea is to integrate confidence-aware symbolic translation with hypothesis-driven backward reasoning. In the translation phase, only high-confidence spans are converted into logical form, such as First-Order Logic (FOL), while uncertain content remains in natural language. A translation reflection module further ensures semantic fidelity by evaluating symbolic outputs and reverting lossy ones back to text when necessary. In the reasoning phase, HBLR simulates human deductive thinking by assuming the conclusion is true and recursively verifying its premises. A reasoning reflection module further identifies and corrects flawed inference steps, enhancing logical coherence. Extensive experiments on five reasoning benchmarks demonstrate that HBLR consistently outperforms strong baselines in both accuracy and efficiency.

Type

preprint

Landing Page

http://arxiv.org/abs/2512.03360

PDF

https://arxiv.org/pdf/2512.03360

OA Status

green

OpenAlex ID

https://openalex.org/W4417028124

Raw OpenAlex JSON

OpenAlex ID

https://openalex.org/W4417028124

Canonical identifier for this work in OpenAlex

DOI

https://doi.org/10.48550/arxiv.2512.03360

Digital Object Identifier

Title

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation

Work title

Type

preprint

OpenAlex work type

Publication year

2025

Year of publication

Publication date

2025-12-03

Full publication date if available

Authors

Qingchuan Li, Tongxuan Liu

List of authors in order

Landing page

https://arxiv.org/abs/2512.03360

Publisher landing page

PDF URL

https://arxiv.org/pdf/2512.03360

Direct link to full text PDF

Open access

Yes

Whether a free full text is available

OA status

green

Open access status per OpenAlex

OA URL

https://arxiv.org/pdf/2512.03360

Direct OA link when available

Cited by

0

Total citation count in OpenAlex

Full payload