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

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang und 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

Juli 2018 · DOI:10.1007/978-3-030-03592-1\_16

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