6 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 5 cited
Verification of Binarized Neural Networks via Inter-Neuron Factoring
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +1
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks…
cs.LG2017★ 6 cited
Maximum Resilience of Artificial Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled…