1. ASTERYX
2. Explaining naive bayes and other linear classifiers with polynomial time and delay;marques-silva;NeurIPS,2020
3. Provably efficient, succinct, and precise explanations;blanc;NeurIPS,2021
4. Logic-based explainability in machine learning;marques-silva;CoRR,2022
5. L-Shapley and C-Shapley: Efficient model interpretation for structured data;chen;ICLRE,2019