Department of Computer Science, PUC-Chile; Millennium Institute for Foundational Research on Data, Chile; Millennium Institute for Foundational Research on Data, Chile; Carnegie Mellon University, USA; Department of Computer Science, Universidad de Chile; Millennium Institute for Foundational Research on Data, Chile; Department of Computer Science, Universidad de Chile; Institute for Mathematical and Computational Engineering, PUC-Chile; Millennium Institute for Foundational Research on Data, Chile
Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
language;interpretability;logic;complexity;decision trees;explainability
Foundations of Symbolic Languages for Model Interpretability