BriefGPT.xyz
Ask
alpha
关键词
airborne collision avoidance system
搜索结果 - 1
Reluplex:用于验证深度神经网络的高效 SMT 求解器
我们提出了一种基于单纯形方法的技术,用于验证深度神经网络的属性,该方法可以处理非凸的修正线性单元(ReLU)激活函数,成功地验证相对于现有方法已知的规模更大的神经网络,以及用于无人机的下一代空中碰撞避免系统(ACAS Xu)的深度神经网络原
→
PDF
7 years ago
Prev
Next