Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Fang, Feihao, Thai, My T., Lei, Yuanyuan |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
von: Lei, Yuanyuan, et al.
Veröffentlicht: (2024)
von: Lei, Yuanyuan, et al.
Veröffentlicht: (2024)
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
von: Xu, Lei, et al.
Veröffentlicht: (2025)
von: Xu, Lei, et al.
Veröffentlicht: (2025)
Knowledge Vector of Logical Reasoning in Large Language Models
von: Wang, Zixuan, et al.
Veröffentlicht: (2026)
von: Wang, Zixuan, et al.
Veröffentlicht: (2026)
Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains
von: Park, Seunghyun, et al.
Veröffentlicht: (2026)
von: Park, Seunghyun, et al.
Veröffentlicht: (2026)
Faithful Logical Reasoning via Symbolic Chain-of-Thought
von: Xu, Jundong, et al.
Veröffentlicht: (2024)
von: Xu, Jundong, et al.
Veröffentlicht: (2024)
Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)
von: Farjami, Ali, et al.
Veröffentlicht: (2026)
Improving Symbolic Translation of Language Models for Logical Reasoning
von: Thatikonda, Ramya Keerthy, et al.
Veröffentlicht: (2026)
von: Thatikonda, Ramya Keerthy, et al.
Veröffentlicht: (2026)
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
von: Qi, Chengwen, et al.
Veröffentlicht: (2025)
von: Qi, Chengwen, et al.
Veröffentlicht: (2025)
LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
von: Xu, Jundong, et al.
Veröffentlicht: (2025)
von: Xu, Jundong, et al.
Veröffentlicht: (2025)
FOLIO: Natural Language Reasoning with First-Order Logic
von: Han, Simeng, et al.
Veröffentlicht: (2022)
von: Han, Simeng, et al.
Veröffentlicht: (2022)
Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
von: Tan, Xingwei, et al.
Veröffentlicht: (2025)
von: Tan, Xingwei, et al.
Veröffentlicht: (2025)
From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
von: Li, Qingchuan, et al.
Veröffentlicht: (2025)
von: Li, Qingchuan, et al.
Veröffentlicht: (2025)
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
von: Mensfelt, Agnieszka, et al.
Veröffentlicht: (2024)
von: Mensfelt, Agnieszka, et al.
Veröffentlicht: (2024)
Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)
Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
von: Guzmán, Manuel Vargas, et al.
Veröffentlicht: (2025)
von: Guzmán, Manuel Vargas, et al.
Veröffentlicht: (2025)
Understanding the Logic of Direct Preference Alignment through Logic
von: Richardson, Kyle, et al.
Veröffentlicht: (2024)
von: Richardson, Kyle, et al.
Veröffentlicht: (2024)
Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning
von: Nguyen, Phuong Minh, et al.
Veröffentlicht: (2025)
von: Nguyen, Phuong Minh, et al.
Veröffentlicht: (2025)
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
von: Sun, Zhouhao, et al.
Veröffentlicht: (2024)
von: Sun, Zhouhao, et al.
Veröffentlicht: (2024)
Logically Consistent Language Models via Neuro-Symbolic Integration
von: Calanzone, Diego, et al.
Veröffentlicht: (2024)
von: Calanzone, Diego, 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)
von: Liu, Tongxuan, et al.
Veröffentlicht: (2024)
Logical Reasoning over Natural Language as Knowledge Representation: A Survey
von: Yang, Zonglin, et al.
Veröffentlicht: (2023)
von: Yang, Zonglin, et al.
Veröffentlicht: (2023)
HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning
von: Han, Simeng, et al.
Veröffentlicht: (2024)
von: Han, Simeng, et al.
Veröffentlicht: (2024)
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
von: Jiang, Jin, et al.
Veröffentlicht: (2024)
von: Jiang, Jin, et al.
Veröffentlicht: (2024)
Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
von: Bi, Zhen, et al.
Veröffentlicht: (2025)
von: Bi, Zhen, et al.
Veröffentlicht: (2025)
Learning to Reason via Mixture-of-Thought for Logical Reasoning
von: Zheng, Tong, et al.
Veröffentlicht: (2025)
von: Zheng, Tong, et al.
Veröffentlicht: (2025)
On Memorization of Large Language Models in Logical Reasoning
von: Xie, Chulin, et al.
Veröffentlicht: (2024)
von: Xie, Chulin, et al.
Veröffentlicht: (2024)
LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts
von: Xiao, Yijia, et al.
Veröffentlicht: (2024)
von: Xiao, Yijia, et al.
Veröffentlicht: (2024)
Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
von: Li, Songze, et al.
Veröffentlicht: (2025)
von: Li, Songze, et al.
Veröffentlicht: (2025)
Zero-Shot Fact Verification via Natural Logic and Large Language Models
von: Strong, Marek, et al.
Veröffentlicht: (2024)
von: Strong, Marek, et al.
Veröffentlicht: (2024)
Towards Logically Consistent Language Models via Probabilistic Reasoning
von: Calanzone, Diego, et al.
Veröffentlicht: (2024)
von: Calanzone, Diego, et al.
Veröffentlicht: (2024)
Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
von: Li, Yanda, et al.
Veröffentlicht: (2024)
von: Li, Yanda, et al.
Veröffentlicht: (2024)
Elevating Legal LLM Responses: Harnessing Trainable Logical Structures and Semantic Knowledge with Legal Reasoning
von: Yao, Rujing, et al.
Veröffentlicht: (2025)
von: Yao, Rujing, et al.
Veröffentlicht: (2025)
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
von: Parmar, Mihir, et al.
Veröffentlicht: (2024)
von: Parmar, Mihir, et al.
Veröffentlicht: (2024)
Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games
von: Malik, Saumya
Veröffentlicht: (2024)
von: Malik, Saumya
Veröffentlicht: (2024)
Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning
von: Su, Ying, et al.
Veröffentlicht: (2023)
von: Su, Ying, et al.
Veröffentlicht: (2023)
DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
von: Liu, Weize, et al.
Veröffentlicht: (2025)
von: Liu, Weize, et al.
Veröffentlicht: (2025)
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
von: Xu, Zihao, et al.
Veröffentlicht: (2025)
von: Xu, Zihao, et al.
Veröffentlicht: (2025)
Controllable LLM Reasoning via Sparse Autoencoder-Based Steering
von: Fang, Yi, et al.
Veröffentlicht: (2026)
von: Fang, Yi, et al.
Veröffentlicht: (2026)
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
von: Wan, Yuxuan, et al.
Veröffentlicht: (2024)
von: Wan, Yuxuan, et al.
Veröffentlicht: (2024)
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning
von: Zhang, Tianhua, et al.
Veröffentlicht: (2023)
von: Zhang, Tianhua, et al.
Veröffentlicht: (2023)
Ähnliche Einträge
-
Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
von: Lei, Yuanyuan, et al.
Veröffentlicht: (2024) -
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
von: Xu, Lei, et al.
Veröffentlicht: (2025) -
Knowledge Vector of Logical Reasoning in Large Language Models
von: Wang, Zixuan, et al.
Veröffentlicht: (2026) -
Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains
von: Park, Seunghyun, et al.
Veröffentlicht: (2026) -
Faithful Logical Reasoning via Symbolic Chain-of-Thought
von: Xu, Jundong, et al.
Veröffentlicht: (2024)