#对抗鲁棒性

PGD攻击失败就安全？交通标志模型的SMT验证真相

对比PGD经验性对抗攻击与Marabou SMT形式化验证在交通标志模型上的表现，揭示PGD攻击失败不等于模型安全的盲区，分析两种鲁棒性评估方法的本质差异与落地路径。