Provably efficient, succinct, and precise explanations - Blanc, Guy; Lange, Jane; Tan, Li-Yang (Advances in Neural Information Processing Systems, 2021)