3 papers
cs.AI2026
ExplAIner: A Declarative Query Language for Explaining Classification Models
Marcelo Arenas, Pablo Barceló, Diego Bustamante +3
The XAI community has studied a wide range of queries and scores for explaining predictions of ML models. From a data management perspective, this proliferation of explanation noti…
cs.CC2026
On the Complexity of Counting Orderings in Graphs
Marcelo Arenas, MarÃa Alejandra Schild, Bernardo Subercaseaux
We study the computational complexity of several counting problems on graphs. Each of these problems consists of counting orderings of the vertices or edges with adjacency constrai…
cs.AI2024
Probabilistic Explanations for Linear Models
Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S Meel
Formal XAI is an emerging field that focuses on providing explanations with mathematical guarantees for the decisions made by machine learning models. A significant amount of work…