Marcelo Arenas
9 papers · 2013–2025 · 5 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 ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Silver 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🗺️ Taxonomy Completionist (12) 🏆 Keyword Champion (2)
📈
Trend Setter
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
decision tree
(3)
model interpretability
(2)
boolean circuit
(2)
shapley value
(2)
probabilistic explanation
(2)
sufficient reason
(2)
polynomial time algorithm
(1)
approximation scheme
(1)
probabilistic circuit
(1)
sat solver
(1)
linear model
(1)
binary decision diagram
(1)
explainable artificial intelligence
(1)
model counting
(1)
explainable machine learning
(1)
controllable text generation
(1)
logic-based explanation
(1)
shap score
(1)
symbolic language
(1)
formal explainable ai
(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
NeurIPS 2022
Foundations of Symbolic Languages for Model Interpretability
NeurIPS 2021
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits
AAAI 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