5 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
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…