Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Qingchuan, Cheng, Mingyue, Liu, Zirui, Wang, Daoyu, Zeng, Yuting, Liu, Tongxuan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
von: Li, Qingchuan, et al.
Veröffentlicht: (2025)

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
von: Li, Qingchuan, et al.
Veröffentlicht: (2024)

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
von: Liu, Tongxuan, et al.
Veröffentlicht: (2024)

StepPO: Step-Aligned Policy Optimization for Agentic Reinforcement Learning
von: Wang, Daoyu, et al.
Veröffentlicht: (2026)

MemWeaver: A Hierarchical Memory from Textual Interactive Behaviors for Personalized Generation
von: Yu, Shuo, et al.
Veröffentlicht: (2025)

Agent-R1: A Unified and Modular Framework for Agentic Reinforcement Learning
von: Cheng, Mingyue, et al.
Veröffentlicht: (2025)

Improving Symbolic Translation of Language Models for Logical Reasoning
von: Thatikonda, Ramya Keerthy, et al.
Veröffentlicht: (2026)

Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning
von: Qin, Yuehan, et al.
Veröffentlicht: (2025)

HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning
von: Han, Simeng, et al.
Veröffentlicht: (2024)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
von: Xu, Jundong, et al.
Veröffentlicht: (2024)

RuozhiBench: Evaluating LLMs with Logical Fallacies and Misleading Premises
von: Zhai, Zenan, et al.
Veröffentlicht: (2025)

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning
von: Lee, Jinu, et al.
Veröffentlicht: (2024)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
von: Xu, Lei, et al.
Veröffentlicht: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Revisiting the Solution of Meta KDD Cup 2024: CRAG
von: Ouyang, Jie, et al.
Veröffentlicht: (2024)

Making Implicit Premises Explicit in Logical Understanding of Enthymemes
von: Feng, Xuyao, et al.
Veröffentlicht: (2026)

Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation
von: Bai, Jiaxin, et al.
Veröffentlicht: (2023)

TableTime: Reformulating Time Series Classification as Training-Free Table Understanding with Large Language Models
von: Wang, Jiahao, et al.
Veröffentlicht: (2024)

GroupDebate: Enhancing the Efficiency of Multi-Agent Debate Using Group Discussion
von: Liu, Tongxuan, et al.
Veröffentlicht: (2024)

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
von: Fang, Feihao, et al.
Veröffentlicht: (2026)

IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
von: Wang, Xiaoheng, et al.
Veröffentlicht: (2026)

Premise Order Matters in Reasoning with Large Language Models
von: Chen, Xinyun, et al.
Veröffentlicht: (2024)

Don't Take the Premise for Granted: Evaluating the Premise Critique Ability of Large Language Models
von: Li, Jinzhe, et al.
Veröffentlicht: (2025)

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
von: Ryu, Hyun, et al.
Veröffentlicht: (2024)

Unified Data Selection for LLM Reasoning
von: Li, Xiaoyuan, et al.
Veröffentlicht: (2026)

Mind2Report: A Cognitive Deep Research Agent for Expert-Level Commercial Report Synthesis
von: Cheng, Mingyue, et al.
Veröffentlicht: (2026)

From Backward Spreading to Forward Replay: Revisiting Target Construction in LLM Parameter Editing
von: Liu, Wei, et al.
Veröffentlicht: (2026)

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
von: Qi, Chengwen, et al.
Veröffentlicht: (2025)

S$^2$-MAD: Breaking the Token Barrier to Enhance Multi-Agent Debate Efficiency
von: Zeng, Yuting, et al.
Veröffentlicht: (2025)

DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
von: Liu, Weize, et al.
Veröffentlicht: (2025)

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
von: Meadows, Jordan, et al.
Veröffentlicht: (2024)

LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts
von: Xiao, Yijia, et al.
Veröffentlicht: (2024)

DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy
von: Sun, Hongda, et al.
Veröffentlicht: (2023)

Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension
von: Wang, Chenxu, et al.
Veröffentlicht: (2024)

LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
von: Xu, Jundong, et al.
Veröffentlicht: (2025)

LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models
von: Liu, Yiwei, et al.
Veröffentlicht: (2025)

Revisiting the UID Hypothesis in LLM Reasoning Traces
von: Gwak, Minju, et al.
Veröffentlicht: (2025)

Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs
von: Mukherjee, Sagnik, et al.
Veröffentlicht: (2025)

Multi-Source Knowledge Pruning for Retrieval-Augmented Generation: A Benchmark and Empirical Study
von: Yu, Shuo, et al.
Veröffentlicht: (2024)

BAR: A Backward Reasoning based Agent for Complex Minecraft Tasks
von: Du, Weihong, et al.
Veröffentlicht: (2025)