Marcelo Arenas
9 papers · 2013–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🗺️ Taxonomy Completionist (11) 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (12) 🐝 Cross-Pollinator (9) 🧭 Keyword Pioneer
🌍
Conference Polyglot
(5)
🏆
Keyword Champion
🚀
Conference Pioneer
Conferences
IJCAI (3)
AAAI (2)
NIPS (2)
AISTATS (1)
JMLR (1)
Top co-authors
Keywords
decision tree
(3)
sufficient reason
(2)
probabilistic explanation
(2)
model interpretability
(2)
boolean circuit
(2)
shapley value
(2)
sat solver
(1)
linear model
(1)
binary decision diagram
(1)
explainable artificial intelligence
(1)
model counting
(1)
explainable machine learning
(1)
logic-based explanation
(1)
shap score
(1)
symbolic language
(1)
formal explainable ai
(1)
explainable ai
(1)
formal xai
(1)
feature attribution
(1)
computational complexity
(1)
Papers
Probabilistic Explanations for Linear Models
AAAI 2025
Restructuring Tractable Probabilistic Circuits
AISTATS 2025
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
JMLR 2023
On Computing Probabilistic Explanations for Decision Trees
NIPS 2022
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits
AAAI 2021
Foundations of Symbolic Languages for Model Interpretability
NIPS 2021
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
IJCAI 2016
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries
IJCAI 2015
Exchanging OWL 2 QL Knowledge Bases
IJCAI 2013