Nicolas Szczepanski
5 papers · 2018–2024 · 2 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
🏃
Academic Marathon · Sprint
Venues
Top co-authors
Research topics
Keywords
abductive explanation
(3)
explainable ai
(3)
contrastive explanation
(2)
boosted tree
(2)
random forest
(2)
decision tree
(2)
heterogeneous computing
(1)
work stealing
(1)
tree-based model
(1)
propositional logic
(1)
model counting
(1)
coverage condition
(1)
domain theory
(1)
cegar algorithm
(1)
computational complexity
(1)
distributed computing
(1)
automated reasoning
(1)
polynomial time
(1)
local explanation
(1)
Papers
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
IJCAI 2024
On the Computation of Example-Based Abductive Explanations for Random Forests
IJCAI 2024
PyXAI: An XAI Library for Tree-Based Models
IJCAI 2024
Computing Abductive Explanations for Boosted Trees
AISTATS 2023
DMC: A Distributed Model Counter
IJCAI 2018