PulseAugur
中
实时 11:54:51
实体 Binarized Neural Networks

Binarized Neural Networks

PulseAugur coverage of Binarized Neural Networks — every cluster mentioning Binarized Neural Networks across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_98144 ·

    新论文分析了二值化神经网络的鲁棒性验证复杂性

    本文研究了二值化神经网络（BNN）验证问题的计算复杂性。研究人员通过将布尔可满足性问题（SAT）归约到二值化神经网络可满足性问题，证明了其NP-完全性。此外，他们发现均匀图像遮挡会导致分段常数网络输出，从而允许使用多项式时间算法来检查鲁棒性。