Sep, 2017

可证明的最小扭曲对抗样本

TL;DR利用形式验证技术构建对抗样本,证明这些样本是最小扭曲的,从而增加了对抗性训练的鲁棒性。