Cover Image

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bagheri, Abdolmahdi, Alinejad, Matin, Dehshiri, Mahdi, Bello, Kevin, Akhondi-Asl, Alireza
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Brain Effective Connectome based on fMRI and DTI Data: Bayesian Causal Learning and Assessment
by: Bagheri, Abdolmahdi, et al.
Published: (2023)

Algorithmic Identification of Essential Exogenous Nodes for Causal Sufficiency in Brain Networks
by: Bagheri, Abdolmahdi, et al.
Published: (2024)

Discovering Dynamic Effective Connectome of Brain with Bayesian Dynamic DAG Learning
by: Bagheri, Abdolmahdi, et al.
Published: (2023)

On the complexity of Maslov's class $\overline{\text{K}}$
by: Fiuk, Oskar, et al.
Published: (2024)

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
by: Cohen, Liron, et al.
Published: (2023)

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

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
by: Meijer, Lucas, et al.
Published: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model
by: Kappelmann, Kevin, et al.
Published: (2025)

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
by: Aguilera-Ventura, Carlos, et al.
Published: (2025)

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

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

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

Argumentative Reasoning with Language Models on Non-factorized Case Bases
by: Fungwacharakorn, Wachara, et al.
Published: (2025)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

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

Why Cannot Large Language Models Ever Make True Correct Reasoning?
by: Cheng, Jingde
Published: (2025)

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

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Retrieval-Augmented TLAPS Proof Generation with Large Language Models
by: Zhou, Yuhao
Published: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

Synthesis of Temporal Causality
by: Finkbeiner, Bernd, et al.
Published: (2024)

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

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
by: Bayat, Farima Fatahi, et al.
Published: (2025)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
by: Lahav, Ori, et al.
Published: (2023)

Closure and Complexity of Temporal Causality
by: Carelli, Mishel, et al.
Published: (2025)

Causal Unfoldings and Disjunctive Causes
by: de Visme, Marc, et al.
Published: (2020)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

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

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

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Improving the Diproche CNL through Autoformalization via Large Language Models
by: Carl, Merlin
Published: (2023)

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

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
by: Hader, Thomas, et al.
Published: (2024)

On Homogeneous Model of Fluted Languages
by: Kojelis, Daumantas
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)