Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae

Stav Armoni-Friedmann, Hana Chockler, David A. Kelly
9/12/2025
cs.AI

No confident code implementation found for this paper.

Abstract

Evaluating explainable AI (XAI) approaches is a challenging task in general, due to the subjectivity of explanations. In this paper, we focus on tabular data and the specific use case of AI models predicting the values of Boolean functions. We extend the previous work in this domain by proposing a formal and precise measure of importance of variables based on actual causality, and we evaluate state-of-the-art XAI tools against this measure. We also present a novel XAI tool B-ReX, based on the existing tool ReX, and demonstrate that it is superior to other black-box XAI tools on a large-scale benchmark. Specifically, B-ReX achieves a Jensen-Shannon divergence of 0.072 $\pm$ 0.012 on random 10-valued Boolean formulae

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Discovering and Reasoning of Causality in the Hidden World with Large Language Models

81% match2024

Is the MMI Criterion Necessary for Interpretability? Degenerating Non-causal Features to Plain Noise for Self-Rationalization

80% match1 repo22026

Uncertainty Propagation in XAI: A Comparison of Analytical and Empirical Estimators

79% match1 repo12025

Fast Estimation of Partial Dependence Functions using Trees

79% match2 repos72026

CAGE: Causality-Aware Shapley Value for Global Explanations

78% match2024

Generating Likely Counterfactuals Using Sum-Product Networks

78% match1 repo2026

Cite this paper

@article{armonifriedmann2025evaluation,
  title  = {Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae},
  author = {Stav Armoni-Friedmann and Hana Chockler and David A. Kelly},
  year   = {2025},
  eprint = {2509.09982},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2509.09982v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2509.09982.svg)](https://codeofpaper.com/paper/2509.09982)

Discussion