Where M is the number of simplified input features, \(\vert z^\prime \vert \)  is the number of non-zero entries in \(z^\prime \)  and \(z^\prime \subseteq x^\prime \)  represents all \(z^\prime \)  vectors where the non-zero entries are a subset of the non-zero entries in \(x^\prime \) , and S is the set of non-zero indexes in \(z^\prime \) . The SHAP explanations were generated from code by  [1]}.
