4 papers
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…
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…
The Packing Chromatic Number of the Infinite Square Grid is 15
Bernardo Subercaseaux, Marijn J. H. Heule
A packing -coloring is a natural variation on the standard notion of graph -coloring, where vertices are assigned numbers from , and any two vertices assign…
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…