Nicolas Szczepanski
5 papers · 2018–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (13)
🏆
Keyword Champion
(2)
Conferences
IJCAI (4)
AISTATS (1)
Top co-authors
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
On the Computation of Example-Based Abductive Explanations for Random Forests
IJCAI 2024
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
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