Foundations of Symbolic Languages for Model Interpretability. - Marcelo Arenas; Daniel Báez; Pablo Barceló; Jorge Pérez 001; Bernardo Subercaseaux (NeurIPS, 2021)