An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.

Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu

Browse the full ATVA paper archive.