On Tractable Representations of Binary Neural Networks

Download PDF
Open Webpage

Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi

Published: 2020, Last Modified: 16 Oct 2025KR 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
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...