Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Tractable Representations of Binary Neural Networks   We consider the compilation of a binary neural network's decision function
into tractable representations such as Ordered Binary Decision Diagrams (OBDDs)
and Sentential Decision Diagrams (SDDs). Obtaining this function as an OBDD/SDD
facilitates the explanation and formal verification of a neural network's
behavior. First, we consider the task of verifying the robustness of a neural
network, and show how we can compute the expected robustness of a neural
network, given an OBDD/SDD representation of it. Next, we consider a more
efficient approach for compiling neural networks, based on a pseudo-polynomial
time algorithm for compiling a neuron. We then provide a case study in a
handwritten digits dataset, highlighting how two neural networks trained from
the same dataset can have very high accuracies, yet have very different levels
of robustness. Finally, in experiments, we show that it is feasible to obtain
compact representations of neural networks as SDDs.

34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
29
The categories of this paper are: funct-an