Imagen de Portada

Why Cannot Large Language Models Ever Make True Correct Reasoning?

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cheng, Jingde
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Large Language Models Imitate Logical Reasoning, but at what Cost?
por: McGinness, Lachlan, et al.
Publicado: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
por: Orvalho, Pedro, et al.
Publicado: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
por: Zang, Zhengqing, et al.
Publicado: (2026)

Generics and Default Reasoning in Large Language Models
por: Kirkpatrick, James Ravi, et al.
Publicado: (2025)

Large Language Model for OWL Proofs
por: Yang, Hui, et al.
Publicado: (2026)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
por: Świechowski, Maciej, et al.
Publicado: (2026)

Can Large Language Models Autoformalize Kinematics?
por: Kabra, Aditi, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
por: Kim, Brian Hyeongseok, et al.
Publicado: (2025)

Laurel: Unblocking Automated Verification with Large Language Models
por: Mugnier, Eric, et al.
Publicado: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
por: Crum, Elias, et al.
Publicado: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
por: Khalil, Khurram, et al.
Publicado: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
por: Lee, Jihwan, et al.
Publicado: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
por: Li, Fangjun, et al.
Publicado: (2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
por: Gladyshev, Maksim, et al.
Publicado: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
por: Wan, Yuxuan, et al.
Publicado: (2024)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
por: Chen, Michael K., et al.
Publicado: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
por: Bhat, Vishak K, et al.
Publicado: (2026)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

Defeasible Reasoning on Concepts
por: Ding, Yiwen, et al.
Publicado: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
por: Rashid, Adnan
Publicado: (2026)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
por: Qasim, Kaleem Ullah, et al.
Publicado: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
por: Wang, Ruolin, et al.
Publicado: (2024)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
por: Wang, Keyu, et al.
Publicado: (2024)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
por: Bourigault, Pauline, et al.
Publicado: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
por: Liu, Yinhong, et al.
Publicado: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
por: Hinnerichs, Tilman, et al.
Publicado: (2022)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
por: Ospanov, Azim, et al.
Publicado: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
por: Schön, Oliver, et al.
Publicado: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
por: Arkoudas, Konstantine, et al.
Publicado: (2026)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
por: Hofmann, Till, et al.
Publicado: (2024)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
por: Song, Peiyang, et al.
Publicado: (2024)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
por: Kumar, Aman
Publicado: (2024)