Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Foundations of Symbolic Languages for Model Interpretability   Several queries and scores have recently been proposed to explain individual
predictions over ML models. Given the need for flexible, reliable, and
easy-to-apply interpretability methods for ML models, we foresee the need for
developing declarative languages to naturally specify different explainability
queries. We do this in a principled way by rooting such a language in a logic,
called FOIL, that allows for expressing many simple but important
explainability queries, and might serve as a core for more expressive
interpretability languages. We study the computational complexity of FOIL
queries over two classes of ML models often deemed to be easily interpretable:
decision trees and OBDDs. Since the number of possible inputs for an ML model
is exponential in its dimension, the tractability of the FOIL evaluation
problem is delicate but can be achieved by either restricting the structure of
the models or the fragment of FOIL being evaluated. We also present a prototype
implementation of FOIL wrapped in a high-level declarative language and perform
experiments showing that such a language can be used in practice.

24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph