Mikaël Monet
4 papers · 2020–2023 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Keywords
model interpretability
(2)
shapley value
(2)
boolean circuit
(2)
knowledge compilation
(1)
decision tree
(1)
graph isomorphism
(1)
node classification
(1)
approximation scheme
(1)
linear model
(1)
post-hoc explanation
(1)
binary decision diagram
(1)
tree-based model
(1)
parameterized complexity
(1)
explainable artificial intelligence
(1)
readout function
(1)
complexity theory
(1)
model counting
(1)
explainable machine learning
(1)
graph neural network
(1)
neural network
(1)
Papers
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
JMLR 2023
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits
AAAI 2021
Model Interpretability through the lens of Computational Complexity
NeurIPS 2020
The Logical Expressiveness of Graph Neural Networks
ICLR 2020