Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Search for Diverse Coherent Explanations   This paper proposes new search algorithms for counterfactual explanations
based upon mixed integer programming. We are concerned with complex data in
which variables may take any value from a contiguous range or an additional set
of discrete states. We propose a novel set of constraints that we refer to as a
"mixed polytope" and show how this can be used with an integer programming
solver to efficiently find coherent counterfactual explanations i.e. solutions
that are guaranteed to map back onto the underlying data structure, while
avoiding the need for brute-force enumeration. We also look at the problem of
diverse explanations and show how these can be generated within our framework.

26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys