On Tractable Representations of Binary Neural Networks

Weijia Shi, Andy Shih, Adnan Darwiche +1

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 D…