Cover Image

Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ordyniak, Sebastian, Paesani, Giacomo, Rychlicki, Mateusz, Szeider, Stefan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
by: Ordyniak, Sebastian, et al.
Published: (2024)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
by: Eriksson, Leif, et al.
Published: (2026)

A Tight Subexponential-time Algorithm for Two-Page Book Embedding
by: Ganian, Robert, et al.
Published: (2024)

Solving Quantified Boolean Formulas with Few Existential Variables
by: Eriksson, Leif, et al.
Published: (2024)

What Do LLM Agents Do When Left Alone? Evidence of Spontaneous Meta-Cognitive Patterns
by: Szeider, Stefan
Published: (2025)

From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem
by: Eiben, Eduard, et al.
Published: (2024)

LLM Self-Explanations Fail Semantic Invariance
by: Szeider, Stefan
Published: (2026)

MCP-Solver: Integrating Language Models with Constraint Programming Systems
by: Szeider, Stefan
Published: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
by: Szeider, Stefan
Published: (2026)

Algorithm Selection with Zero Domain Knowledge via Text Embeddings
by: Szeider, Stefan
Published: (2026)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

CP-Agent: Agentic Constraint Programming
by: Szeider, Stefan
Published: (2025)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
by: Schidler, André, et al.
Published: (2025)

Generating Streamlining Constraints with Large Language Models
by: Voboril, Florentina, et al.
Published: (2024)

Compilation and Fast Model Counting beyond CNF
by: de Colnet, Alexis, et al.
Published: (2025)

Smart Cubing for Graph Search: A Comparative Study
by: Kirchweger, Markus, et al.
Published: (2025)

Backdoors for Quantified Boolean Formulas
by: Eriksson, Leif, et al.
Published: (2026)

GraphXAIN: Narratives to Explain Graph Neural Networks
by: Cedro, Mateusz, et al.
Published: (2024)

In-Context Decision Making for Optimizing Complex AutoML Pipelines
by: Balef, Amir Rezaei, et al.
Published: (2025)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

On the Parameterized Complexity of Min-Sum-Radii
by: Kumar, Pankaj, et al.
Published: (2026)

Toward a Unified Graph-Based Representation of Medical Data for Precision Oncology Medicine
by: Belluomo, Davide, et al.
Published: (2024)

Parameterized Complexity Of Representing Models Of MSO Formulas
by: Kučera, Petr, et al.
Published: (2026)

Explaining RL Decisions with Trajectories
by: Deshmukh, Shripad Vilasrao, et al.
Published: (2023)

Explaining Decisions of Agents in Mixed-Motive Games
by: Orner, Maayan, et al.
Published: (2024)

Explaining Multi-modal Large Language Models by Analyzing their Vision Perception
by: Giulivi, Loris, et al.
Published: (2024)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
by: Xia, Hai, et al.
Published: (2026)

Improved Sample Complexity Analysis of Natural Policy Gradient Algorithm with General Parameterization for Infinite Horizon Discounted Reward Markov Decision Processes
by: Mondal, Washim Uddin, et al.
Published: (2023)

'Explaining RL Decisions with Trajectories': A Reproducibility Study
by: Sadek, Karim Abdel, et al.
Published: (2024)

XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
by: Dovier, Agostino, et al.
Published: (2026)

On the Complexity of Global Necessary Reasons to Explain Classification
by: Calautti, Marco, et al.
Published: (2025)

Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
by: Pacheco, Maria Leonor, et al.
Published: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Using Reinforcement Learning to Train Large Language Models to Explain Human Decisions
by: Zhu, Jian-Qiao, et al.
Published: (2025)

Explaining Large Language Models Decisions Using Shapley Values
by: Mohammadi, Behnam
Published: (2024)

A Uniform Language to Explain Decision Trees
by: Arenas, Marcelo, et al.
Published: (2023)

Explaining Control Policies through Predicate Decision Diagrams
by: Chakraborty, Debraj, et al.
Published: (2025)

Explaining News Bias Detection: A Comparative SHAP Analysis of Transformer Model Decision Mechanisms
by: Ghosh, Himel
Published: (2025)

Concept Visualization: Explaining the CLIP Multi-modal Embedding Using WordNet
by: Giulivi, Loris, et al.
Published: (2024)

NORi: An ML-Augmented Ocean Boundary Layer Parameterization
by: Lee, Xin Kai, et al.
Published: (2025)