Mathematically grounded in a framework with desirable properties (consistency, local accuracy, efficiency) - Can provide both local explanations (for individual predictions) and global explanations (by aggregating local Shapley values) - More theoretically principled than LIME — Shapley values have