arXiv cs.LG· Hai Duong, Thanh Le, ThanhVu Nguyen·· 9 小时前AI 评分22
CLAD：面向神经网络验证的约束抽象域
CLAD: Constrained Abstract Domain for Neural Network Verification
AI 导读
研究者提出约束拉格朗日抽象域（CLAD），可在由凸约束组合定义的输入区域上对神经网络计算可靠的过近似，并通过投影原始-对偶方法求解拉格朗日乘子下的 max-min 问题。在 4 个卷积网络、1,944 个实例的评测中，CLAD 在标准无约束 Linf 属性上与 GCPCROWN 验证数量相当且运行时间相近，在 L2-ball 约束属性上比 GCPCROWN 多验证 60% 的实例，整体多 22%。
来源：arXiv cs.LG · arxiv.org