SHAP and LIME are the two most common model explainability methods. SHAP performs strictly additive feature attribution based on the game-theoretic Shapley value:
ϕi=∑S⊆N∖{i}∣N∣!∣S∣!(∣N∣−∣S∣−1)![v(S∪{i})−v(S)], where
v(S) is the expected prediction given feature subset
S and the weight
∣N∣!∣S∣!(∣N∣−∣S∣−1)! is the ordering share of feature
i among coalition permutations; Shapley values are the unique attribution satisfying efficiency, symmetry, dummy and additivity, decomposing the output exactly as
∑iϕi=f(x)−E[f]. TreeSHAP exploits the tree structure to compute exact values in
O(TLD2) without sampling, while LIME fits a local interpretable surrogate
mingL(f,g,πx) — a sparse linear/decision model
g approximating
f in a
πx-weighted neighborhood around
x.