Buchumschlag

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Qingchuan, Li, Jiatong, Liu, Zirui, Cheng, Mingyue, Zeng, Yuting, Liu, Qi, 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

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
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)

Empowering LLMs with Logical Reasoning: A Comprehensive Survey
von: Cheng, Fengxiang, et al.
Veröffentlicht: (2025)

Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression
von: Peng, Jingyu, et al.
Veröffentlicht: (2025)

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
von: Li, Songze, et al.
Veröffentlicht: (2025)

RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning
von: Chan, Jason, et al.
Veröffentlicht: (2024)

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

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

LogicCat: A Chain-of-Thought Text-to-SQL Benchmark for Complex Reasoning
von: Liu, Tao, et al.
Veröffentlicht: (2025)

Logical Computational Linguistics
von: Morrill, Glyn V., et al.
Veröffentlicht: (2026)

Logic-Regularized Verifier Elicits Reasoning from LLMs
von: Wang, Xinyu, et al.
Veröffentlicht: (2026)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
von: Horner, Elias, et al.
Veröffentlicht: (2025)

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

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
von: Lei, Yuanyuan, et al.
Veröffentlicht: (2024)

LogicOCR: Do Your Large Multimodal Models Excel at Logical Reasoning on Text-Rich Images?
von: Ye, Maoyuan, et al.
Veröffentlicht: (2025)

Interpretable Multimodal Misinformation Detection with Logic Reasoning
von: Liu, Hui, et al.
Veröffentlicht: (2023)

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
von: Zhang, Ming, et al.
Veröffentlicht: (2026)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
von: Lin, Bill Yuchen, et al.
Veröffentlicht: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, 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)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
von: Kim, Kyuhee, et al.
Veröffentlicht: (2026)

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework
von: Xu, Jundong, et al.
Veröffentlicht: (2024)

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)

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning
von: Su, Ying, et al.
Veröffentlicht: (2023)

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
von: Jiang, Jin, et al.
Veröffentlicht: (2024)

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

Logic Haystacks: Probing LLMs Long-Context Logical Reasoning (Without Easily Identifiable Unrelated Padding)
von: Sileo, Damien
Veröffentlicht: (2025)

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

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

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

From Query to Logic: Ontology-Driven Multi-Hop Reasoning in LLMs
von: Bian, Haonan, et al.
Veröffentlicht: (2025)

NumeroLogic: Number Encoding for Enhanced LLMs' Numerical Reasoning
von: Schwartz, Eli, et al.
Veröffentlicht: (2024)

Logical Reasoning in Large Language Models: A Survey
von: Liu, Hanmeng, et al.
Veröffentlicht: (2025)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
von: Liu, Junteng, et al.
Veröffentlicht: (2025)

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs
von: Wang, Siyuan, et al.
Veröffentlicht: (2024)

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

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

PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering
von: Xu, Fangzhi, et al.
Veröffentlicht: (2024)