Cover Image

MC3G: Model Agnostic Causally Constrained Counterfactual Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dasgupta, Sopam, Halim, Sadaf MD, Arias, Joaquín, Salazar, Elmer, Gupta, Gopal
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

P2C: Path to Counterfactuals
by: Dasgupta, Sopam, et al.
Published: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Generating Causally Compliant Counterfactual Explanations using ASP
by: Dasgupta, Sopam
Published: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
by: Tudor, Alexis R., et al.
Published: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

Probabilistic and Causal Satisfiability: Constraining the Model
by: Bläser, Markus, et al.
Published: (2025)

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

VECSR: Virtually Embodied Common Sense Reasoning System
by: Tudor, Alexis R., et al.
Published: (2025)

Intuitionistic $j$-Do-Calculus in Topos Causal Models
by: Mahadevan, Sridhar
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

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

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2026)

Inductive Generalization in Reinforcement Learning from Specifications
by: Subramanian, Vignesh, et al.
Published: (2024)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
by: Rothkopf, Raven, et al.
Published: (2024)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
by: Foldvik, Simon
Published: (2026)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
by: Bavikadi, Divyagna, et al.
Published: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
by: Taylor, Alexander K, et al.
Published: (2026)

Scalable Knowledge Refactoring using Constrained Optimisation
by: Liu, Minghao, et al.
Published: (2024)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
by: Murugesan, Anitha, et al.
Published: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

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

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
by: Joshi, Aniruddha, et al.
Published: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
by: Kampik, Timotheus, et al.
Published: (2025)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
by: He, Yunjie, et al.
Published: (2024)