BriefGPT.xyz
Ask
alpha
关键词
network reduction technique
搜索结果 - 1
通过网络简化加快神经网络验证
通过消除稳定的 ReLU 神经元并将其转化为由 ReLU 和仿射层组成的顺序神经网络,我们提出了一种网络削减技术作为预处理方法以便于验证,实验证明这种技术能够显著减小神经网络规模并加快验证过程。
PDF
a year ago
Prev
Next