An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks

Ye Tao, Wanwei Liu, Fu Song +3

Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage cos…