研究人员开发了一种新方法,用于验证神经网络免受补丁攻击的鲁棒性。补丁攻击是一种模拟现实世界物理扰动的威胁。现有方法主要关注范数球攻击,这种攻击在实际场景中的代表性较差。所提出的方法使用分组稀疏性来模拟补丁攻击,并将验证表述为混合整数半定规划(MISDP)。通过应用半定规划(SDP)松弛,特别是通过Group-Lasso松弛,该方法在保持高验证率的同时显著减少了计算时间,验证率达到91%,而先前技术的验证率低于70%。 AI
影响 增强了神经网络在面对现实物理扰动时的安全性和可靠性,有可能改进其在安全关键型应用中的部署。
排序理由 该条目是一篇研究论文,详细介绍了一种新颖的神经网络验证方法。[lever_c_demoted from research: ic=1 ai=1.0]
在 Hugging Face Daily Papers 阅读 →
- Group lasso with overlap and graph lasso
- Hugging Face
- Mixed-integer semidefinite program (MISDP)
- Neural Networks
- Norm-ball attacks
- Patch attacks
- SDP relaxation method for detecting P-tensors
- Semidefinite Relaxation Algorithm for Multisource Localization Using TDOA Measurements with Range Constraints
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →