:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Izza, Yacine, Meel, Kuldeep S., Marques-Silva, Joao
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence
Online Access:	https://arxiv.org/abs/2312.11831
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Delivering Inflated Explanations
by: Izza, Yacine, et al.
Published: (2023)

Efficient Contrastive Explanations on Demand
by: Izza, Yacine, et al.
Published: (2024)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

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

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
by: Izza, Yacine, et al.
Published: (2024)

Probabilistic Explanations for Linear Models
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
by: Akshay, S., et al.
Published: (2026)

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

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
by: Yang, Jiong, et al.
Published: (2025)

Explainability is NOT a Game
by: Marques-Silva, Joao, et al.
Published: (2023)

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
by: Marzari, Luca, et al.
Published: (2024)

Multi-View Majority Vote Learning Algorithms: Direct Minimization of PAC-Bayesian Bounds
by: Hennequin, Mehdi, et al.
Published: (2024)

Counterfactual Explanations with Probabilistic Guarantees on their Robustness to Model Change
by: Stępka, Ignacy, et al.
Published: (2024)

Probabilistically Plausible Counterfactual Explanations with Normalizing Flows
by: Wielopolski, Patryk, et al.
Published: (2024)

Engineering an Exact Pseudo-Boolean Model Counter
by: Yang, Suwei, et al.
Published: (2023)

Trust Regions for Explanations via Black-Box Probabilistic Certification
by: Dhurandhar, Amit, et al.
Published: (2024)

A Probabilistic Consensus-Driven Approach for Robust Counterfactual Explanations
by: Kostrzewa, Marcin, et al.
Published: (2026)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

Towards trustable SHAP scores
by: Letoffe, Olivier, et al.
Published: (2024)

SHAP scores fail pervasively even when Lipschitz succeeds
by: Letoffe, Olivier, et al.
Published: (2024)

Hyperparameter Optimisation with Practical Interpretability and Explanation Methods in Probabilistic Curriculum Learning
by: Salt, Llewyn, et al.
Published: (2025)

Enhanced Rooftop Solar Panel Detection by Efficiently Aggregating Local Features
by: Kurte, Kuldeep, et al.
Published: (2025)

GNNInterpreter: A Probabilistic Generative Model-Level Explanation for Graph Neural Networks
by: Wang, Xiaoqi, et al.
Published: (2022)

Learning to Solve the Constrained Most Probable Explanation Task in Probabilistic Graphical Models
by: Arya, Shivvrat, et al.
Published: (2024)

Exploring Energy Landscapes for Minimal Counterfactual Explanations: Applications in Cybersecurity and Beyond
by: Evangelatos, Spyridon, et al.
Published: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
by: Marques-Silva, Joao, et al.
Published: (2025)

Model Counting in the Wild
by: Shaw, Arijit, et al.
Published: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Approximate SMT Counting Beyond Discrete Domains
by: Shaw, Arijit, et al.
Published: (2025)

From SHAP Scores to Feature Importance Scores
by: Letoffe, Olivier, et al.
Published: (2024)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
by: Papamichail, Merkouris, et al.
Published: (2026)

Training and Evaluating Causal Forecasting Models for Time-Series
by: Crasson, Thomas, et al.
Published: (2024)

Regional Explanations: Bridging Local and Global Variable Importance
by: Amoukou, Salim I., et al.
Published: (2026)

Causality-Aware Local Interpretable Model-Agnostic Explanations
by: Cinquini, Martina, et al.
Published: (2022)

GLEAMS: Bridging the Gap Between Local and Global Explanations
by: Visani, Giorgio, et al.
Published: (2024)

SHAP-based Explanations are Sensitive to Feature Representation
by: Hwang, Hyunseung, et al.
Published: (2025)

BELLA: Black box model Explanations by Local Linear Approximations
by: Radulovic, Nedeljko, et al.
Published: (2023)

Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees
by: Hamman, Faisal, et al.
Published: (2023)