Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. - Xuanxiang Huang; Kehang Fang; Liangda Fang; Qingliang Chen; Zhao-Rong Lai; Linfeng Wei (AAAI, 2019)

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. - Xuanxiang Huang; Haipeng Che; Liangda Fang; Qingliang Chen; Quanlong Guan; Yuhui Deng; Kaile Su (ICCAD, 2020)

On Efficiently Explaining Graph-Based Classifiers. - Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; João Marques-Silva 001 (KR, 2021)

Efficient Explanations for Knowledge Compilation Languages. - Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin C. Cooper; Nicholas Asher; João Marques-Silva 001 (CoRR, 2021)

Tractable Explanations for d-DNNF Classifiers. - Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin C. Cooper; Nicholas Asher; João Marques-Silva 001 (AAAI, 2022)

On Deciding Feature Membership in Explanations of SDD & Related Classifiers. - Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2022)

Solving Explainability Queries with Quantification: The Case of Feature Relevancy. - Xuanxiang Huang; Yacine Izza; João Marques-Silva 001 (AAAI, 2023)

From Decision Trees to Explained Decision Sets. - Xuanxiang Huang; João Marques-Silva 001 (ECAI, 2023)

Feature Necessity & Relevancy in ML Classifier Explanations. - Xuanxiang Huang; Martin C. Cooper; António Morgado 001; Jordi Planes; João Marques-Silva 001 (TACAS (1), 2023)

The Inadequacy of Shapley Values for Explainability. - Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2023)

From Robustness to Explainability and Back Again. - Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2023)

Explainability is NOT a Game. - João Marques-Silva 001; Xuanxiang Huang (CoRR, 2023)

A Refutation of Shapley Values for Explainability. - Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2023)

Refutation of Shapley Values for XAI - Additional Evidence. - Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2023)

Recent advances in formal explainability. (Progrès récents en matière d'explicabilité formelle). - Xuanxiang Huang (2023)

On computing probabilistic abductive explanations. - Yacine Izza; Xuanxiang Huang; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (Int. J. Approx. Reason., 2023)

Updates on the Complexity of SHAP Scores. - Xuanxiang Huang; João Marques-Silva 001 (IJCAI, 2024)

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. - Yacine Izza; Xuanxiang Huang; António Morgado 001; Jordi Planes; Alexey Ignatiev; João Marques-Silva 001 (KR, 2024)

On Correcting SHAP Scores. - Olivier Letoffe; Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2024)

From SHAP Scores to Feature Importance Scores. - Olivier Letoffe; Xuanxiang Huang; Nicholas Asher; João Marques-Silva 001 (CoRR, 2024)

SHAP scores fail pervasively even when Lipschitz succeeds. - Olivier Letoffe; Xuanxiang Huang; João Marques-Silva 001 (CoRR, 2024)

On the failings of Shapley values for explainability. - Xuanxiang Huang; João Marques-Silva 001 (Int. J. Approx. Reason., 2024)

Explainability Is Not a Game. - João Marques-Silva 001; Xuanxiang Huang (Commun. ACM, 2024)

Towards Trustable SHAP Scores. - Olivier Létoffé; Xuanxiang Huang; João Marques-Silva 001 (AAAI, 2025)

The Explanation Game - Rekindled (Extended Version). - João Marques-Silva 001; Xuanxiang Huang; Olivier Letoffe (CoRR, 2025)