Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for
  Learned Systems   Machine learning is becoming increasingly important to control the behavior
of safety and financially critical components in sophisticated environments,
where the inability to understand learned components in general, and neural
nets in particular, poses serious obstacles to their adoption. Explainability
and interpretability methods for learned systems have gained considerable
academic attention, but the focus of current approaches on only one aspect of
explanation, at a fixed level of abstraction, and limited if any formal
guarantees, prevents those explanations from being digestible by the relevant
stakeholders (e.g., end users, certification authorities, engineers) with their
diverse backgrounds and situation-specific needs. We introduce Fanoos, a
framework for combining formal verification techniques, heuristic search, and
user interaction to explore explanations at the desired level of granularity
and fidelity. We demonstrate the ability of Fanoos to produce and adjust the
abstractness of explanations in response to user requests on a learned
controller for an inverted double pendulum and on a learned CPU usage model.

27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ