Muqsit Azeem

Computing Actual Causes for Neural Network Predictions under Structured Causal Inputs

This work formalizes explanations as Halpern-Pearl actual causes, modeling input dependencies using Boolean Structural Causal Models (SCMs), and compute HP causes by applying bound propagation and branch-and-bound techniques, while providing formal guarantees of completeness and minimality.