Extended Empirical Validation of the Explainability Solution Space
Authors: Antoni Mestre, Manoli Albert, Miriam Gil, Vicente Pelechano
Organizations: VRAIN Institute, Universitat Politècnica de València, Camí de Vera s/n, Valencia 46022, Spain · Departament d’Informàtica, Universitat de València, Burjassot 46100, Spain
This technical report provides an extended validation of the Explainability Solution Space (ESS) through cross-domain evaluation. While initial validation focused on employee attrition prediction, this study introduces a heterogeneous intelligent urban resource allocation system to demonstrate the generality and domain-independence of the ESS framework. The second case study integrates tabular, temporal, and geospatial data under multi-stakeholder governance conditions. Explicit quantitative positioning of representative XAI families is provided for both contexts. Results confirm that ESS rankings are not domain-specific but adapt systematically to governance roles, risk profiles, and stakeholder configurations. The findings reinforce ESS as a generalizable operational decision-support instrument for explainable AI strategy design across socio-technical systems.
Figures & tables
Dimension
Description
Model type
XGBoost ensemble (250 trees, max depth 6, learning rate 0.05)
Input features
87 features: transaction attributes, geospatial signals, device fingerprints, velocity features (1 h / 24 h / 7 d windows)
Volume
≈ 4.2M transactions/day; ≈ 0.08% fraud prevalence
Latency budget
≤ 200 ms end-to-end (feature engineering + scoring + explanation)
Substitution — automated blocking with optional analyst override
Table 1: System profile of the fraud detection use case.
Technique
Audit.
Trace.
Compr.
Action.
Fidelity
Debug.
Eff.
SHAP
3
4
3
3
5
5
4
LIME
2
3
4
4
4
3
3
Counterfactuals
2
3
5
5
4
3
3
Rule Extraction
5
5
3
2
4
4
2
Prototypes
2
2
5
4
3
3
3
Table 2: Intrinsic property vectors pt for each XAI family (scale 1–5). Colour coding: green ≥3.5 ; yellow ∈[2.5,3.4] ; red <2.5 .
Technique
Ct′
Level
Ut′
Level
Dt′
Level
SHAP
3.91
High
3.30
Med.
4.70
High
LIME
2.76
Med.
4.40
High
3.50
High
Counterfactuals
2.76
Med.
5.00
High
3.50
High
Rule Extraction
5.00
High
2.86
Med.
3.80
High
Prototypes
2.30
Low
5.00
High
3.00
Med.
Table 3: Final ESS coordinates after contextual adjustment with substitution multipliers ( γC=1.15 , γU=1.10 , γD=1.00 ) and qualitative level classification.
Technique
Ut
Rt
U/R
Eff. Score
Latency Fit
SHAP
3.82
0.25
15.3
4
< 50 ms (✓)
LIME
3.56
0.33
10.8
3
∼ 80 ms (✓)
Counterfactuals
3.80
0.33
11.5
3
∼ 100 ms ( ≈ )
Rule Extraction
3.90
0.50
7.8
2
Offline only (×)
Prototypes
3.52
0.33
10.7
3
∼ 60 ms (✓)
Table 4: Multi-objective selection results. The U/R ratio provides an efficiency-adjusted measure of stakeholder value. Latency assessments are based on typical TreeExplainer, LIME tabular, DiCE, and k -NN runtimes on tabular data of this dimensionality.
The rapid adoption of deep learning models in high-risk domains has intensified the need for trustworthy Explainable Artificial Intelligence (XAI). However, objectively evaluating explanation fidelity and aligning XAI metrics with human-centered understanding remain critical open challenges. In this work, we propose a model-agnostic metric, the EPC score, which is an extension of the Explainability-Performance Coefficient (EPC), that quantifies explanation quality by explicitly balancing the trade-off between feature selection sparsity and preserved model performance. Through an empirical validation across tabular, text, and image modalities, we show that the EPC score effectively uncovers operational dependencies among network activations, data dimensionality, and explainer performance. Furthermore, we validate the EPC score against independent human-based explanations, proving that higher EPC scores strongly align with human lexical sentiment judgments and spatial visual annotations.
Christian Oliva, Luis F. Lago-Fernández
Grupo de Neurocomputaci´on Biol´ogica, Departamento de Ingenier´ıa Inform´atica, Escuela Polit´ecnica Superior, Universidad Aut´onoma de Madrid, Spain
Explainable AI (XAI) methods are usually evaluated for technical properties such as faithfulness and robustness. In high-stakes application domains, experts also need to check model predictions against established knowledge. Different explanation methods often disagree, and this disagreement is hard to see when each method is inspected separately. We propose XALIGN, a visual analytics workflow and interface that shows rule-based explanations and several feature attribution methods (TreeSHAP, KernelSHAP, and LIME) side by side for the same Random Forest model. Agreements and contradictions between the methods become visible signals that users can explore and compare with domain knowledge. We apply XALIGN in two case studies: the German Credit dataset and a meteorological dataset, in which events derived from ICON model output and Cloudnet observations are classified. In both, the views reveal discrepancies between the rule-based explanation and the attribution methods that a single method would not show. In an expert evaluation with three specialists, participants found XALIGN useful for identifying influential features and for avoiding over-trust in predictions. Linking rules to attributions was harder for the participant without an XAI background.
The evaluation of explainable AI (XAI) approaches often relies on three families of methods: subjective measures (e.g., questionnaires on trust or satisfaction), objective measures (e.g., task performance metrics), and mathematical metrics (e.g., for faithfulness). Yet, it remains unclear how these families align or diverge in practice. In a{preregistered} between-subjects study (N=166), we use three established saliency map techniques (LIME, Grad-CAM, Guided Backpropagation) as a testbed to examine this issue. We find that each family of methods leads to different conclusions: participants reported no differences in trust or satisfaction, Grad-CAM improved user performance, while mathematical metrics favored Guided Backpropagation. At the same time, mathematical metrics were only partially related to user performance, and these relationships were sometimes counterintuitive. Our findings highlight the methodological importance of comparing subjective, objective, and mathematical approaches when evaluating XAI, illustrating both tensions and aspects that are aligned. We discuss implications for XAI evaluation frameworks.
Felix Kares, Timo Speith, Hanwei Zhang +1
Saarland University, Germany · University of Bayreuth, Germany · University of Freiburg, Germany