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

URL DOI BibTeX Zurück