On Tractable Representations of Binary Neural Networks

Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi

Abstract: 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). O...