Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper)

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang and Harald Rueß

Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 279–290

July 2018 · doi: 10.1007/978-3-030-03592-1\_16

url: https://doi.org/10.1007/978-3-030-03592-1\_16