Xuanxiang Huang

34 papers A* 7A 2Journal 23Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Feature Necessity and Relevancy in Machine Learning Explanations.
J. Autom. Reason.
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2026 J jnl
Rigorous Explanations for Tree Ensembles.
CoRR
Yacine Izza, Alexey Ignatiev, Xuanxiang Huang, Peter J. Stuckey, João Marques-Silva
2026 J jnl
Unifying Formal Explanations: A Complexity-Theoretic Perspective.
CoRR
Shahaf Bassan, Xuanxiang Huang, Guy Katz
2025 J jnl
Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index.
CoRR
Xuanxiang Huang, Olivier Létoffé, João Marques-Silva
2025 J jnl
The Explanation Game - Rekindled (Extended Version).
CoRR
João Marques-Silva, Xuanxiang Huang, Olivier Letoffe
2025 A* conf
Towards Trustable SHAP Scores.
AAAI
Olivier Létoffé, Xuanxiang Huang, João Marques-Silva
2025 J jnl
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2024 A* conf
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
KR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024 J jnl
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
CoRR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024 J jnl
Explainability Is
Commun. ACM
João Marques-Silva, Xuanxiang Huang
2024 J jnl
From SHAP Scores to Feature Importance Scores.
CoRR
Olivier Letoffe, Xuanxiang Huang, Nicholas Asher, João Marques-Silva
2024 J jnl
On Correcting SHAP Scores.
CoRR
Olivier Letoffe, Xuanxiang Huang, João Marques-Silva
2024 J jnl
On the failings of Shapley values for explainability.
Int. J. Approx. Reason.
Xuanxiang Huang, João Marques-Silva
2024 J jnl
SHAP scores fail pervasively even when Lipschitz succeeds.
CoRR
Olivier Letoffe, Xuanxiang Huang, João Marques-Silva
2024 A* conf
Updates on the Complexity of SHAP Scores.
IJCAI
Xuanxiang Huang, João Marques-Silva
2023 J jnl
A Refutation of Shapley Values for Explainability.
CoRR
Xuanxiang Huang, João Marques-Silva
2023 J jnl
Explainability is NOT a Game.
CoRR
João Marques-Silva, Xuanxiang Huang
2023 — conf
Feature Necessity & Relevancy in ML Classifier Explanations.
TACAS (1)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2023 A conf
From Decision Trees to Explained Decision Sets.
ECAI
Xuanxiang Huang, João Marques-Silva
2023 J jnl
From Robustness to Explainability and Back Again.
CoRR
Xuanxiang Huang, João Marques-Silva
2023 J jnl
On computing probabilistic abductive explanations.
Int. J. Approx. Reason.
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2023 — —
Recent advances in formal explainability. (Progrès récents en matière d'explicabilité formelle).
Xuanxiang Huang
2023 J jnl
Refutation of Shapley Values for XAI - Additional Evidence.
CoRR
Xuanxiang Huang, João Marques-Silva
2023 A* conf
Solving Explainability Queries with Quantification: The Case of Feature Relevancy.
AAAI
Xuanxiang Huang, Yacine Izza, João Marques-Silva
2023 J jnl
The Inadequacy of Shapley Values for Explainability.
CoRR
Xuanxiang Huang, João Marques-Silva
2022 J jnl
Feature Necessity & Relevancy in ML Classifier Explanations.
CoRR
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2022 J jnl
On Computing Probabilistic Abductive Explanations.
CoRR
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 J jnl
On Deciding Feature Membership in Explanations of SDD & Related Classifiers.
CoRR
Xuanxiang Huang, João Marques-Silva
2022 A* conf
Tractable Explanations for d-DNNF Classifiers.
AAAI
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2021 J jnl
Efficient Explanations for Knowledge Compilation Languages.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2021 A* conf
On Efficiently Explaining Graph-Based Classifiers.
KR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2021 J jnl
On Efficiently Explaining Graph-Based Classifiers.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2020 A conf
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.
ICCAD
Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su
2019 A* conf
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.
AAAI
Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei