Pith. sign in

REVIEW 2 cited by

Efficient Explanations With Relevant Sets

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2106.00546 v1 pith:V72CO3QQ submitted 2021-06-01 cs.LG cs.AI

classification cs.LGcs.AI
keywords setsrelevantdeltacomputationproposedclassifiersconcreteexplanation
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Recent work proposed $\delta$-relevant inputs (or sets) as a probabilistic explanation for the predictions made by a classifier on a given input. $\delta$-relevant sets are significant because they serve to relate (model-agnostic) Anchors with (model-accurate) PI- explanations, among other explanation approaches. Unfortunately, the computation of smallest size $\delta$-relevant sets is complete for ${NP}^{PP}$, rendering their computation largely infeasible in practice. This paper investigates solutions for tackling the practical limitations of $\delta$-relevant sets. First, the paper alternatively considers the computation of subset-minimal sets. Second, the paper studies concrete families of classifiers, including decision trees among others. For these cases, the paper shows that the computation of subset-minimal $\delta$-relevant sets is in NP, and can be solved with a polynomial number of calls to an NP oracle. The experimental evaluation compares the proposed approach with heuristic explainers for the concrete case of the classifiers studied in the paper, and confirms the advantage of the proposed solution over the state of the art.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. ExplAIner: A Declarative Query Language for Explaining Classification Models

    cs.AI 2026-07 accept novelty 7.0 of 10

    ExplAIner is a layered first-order logic that expresses major XAI explanation queries over Boolean models with evaluation in the Boolean hierarchy and computation in FP^NP.

  2. What makes an Ensemble (Un) Interpretable?

    cs.LG 2025-06 conditional novelty 7.0 of 10

    A complexity-theoretic analysis showing that the number, size, and type of base models determine whether ensemble explanations are tractable, with linear-model ensembles intractable even for two models.

Pith tools