Cover Image

Counterfactual Realizability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Raghavan, Arvind, Bareinboim, Elias
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning F.4.1; G.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Causal Identification from Counterfactual Data: Completeness and Bounding Results
by: Raghavan, Arvind, et al.
Published: (2026)

Axiomatic Foundations of Counterfactual Explanations
by: Amgoud, Leila, et al.
Published: (2026)

Generative Fractional Diffusion Models
by: Nobis, Gabriel, et al.
Published: (2023)

CON-FOLD -- Explainable Machine Learning with Confidence
by: McGinness, Lachlan, et al.
Published: (2024)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
by: Chang, Edward Y., et al.
Published: (2025)

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
by: Biggin, Aaron, et al.
Published: (2025)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

Mitigating Spurious Correlations with Causal Logit Perturbation
by: Zhou, Xiaoling, et al.
Published: (2025)

Comparing verbal, visual and combined explanations for Bayesian Network inferences
by: Nyberg, Erik P., et al.
Published: (2025)

A Framework for Generating Informative Benchmark Instances
by: Dang, Nguyen, et al.
Published: (2022)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)

No-Knowledge Alarms for Misaligned LLMs-as-Judges
by: Corrada-Emmanuel, Andrés
Published: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
by: Zhang, Liao, et al.
Published: (2024)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
by: Ngouonou, Jovial Cheukam, et al.
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
by: Hellwig, Jonathan, et al.
Published: (2025)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

A novel approach to data generation in generative model
by: Kim, JaeHong, et al.
Published: (2025)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
by: Aniva, Leni, et al.
Published: (2024)

$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)

Reasoning-Enhanced Rare-Event Prediction with Balanced Outcome Correction
by: Bulgakov, Vitaly, et al.
Published: (2026)

Measures of classification bias derived from sample size analysis
by: Ivrissimtzis, Ioannis, et al.
Published: (2026)

Experiments with Choice in Dependently-Typed Higher-Order Logic
by: Ranalter, Daniel, et al.
Published: (2024)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
by: Steen, Alexander, et al.
Published: (2022)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
by: Semmelrock, Veronika, et al.
Published: (2026)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Domain-Specific Constitutional AI: Enhancing Safety in LLM-Powered Mental Health Chatbots
by: Lyu, Chenhan, et al.
Published: (2025)

Smooth Integer Encoding via Integral Balance
by: Semenov, Stanislav
Published: (2025)

Why this and not that? A Logic-based Framework for Contrastive Explanations
by: Geibinger, Tobias, et al.
Published: (2025)

JoFormer (Journey-based Transformer): Theory and Empirical Analysis on the Tiny Shakespeare Dataset
by: Godavarti, Mahesh
Published: (2025)

Knowledge Graph and Hypergraph Transformers with Repository-Attention and Journey-Based Role Transport
by: Godavarti, Mahesh
Published: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

Introducing the Large Medical Model: State of the art healthcare cost and risk prediction with transformers trained on patient event sequences
by: Sahu, Ricky, et al.
Published: (2024)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)