May, 2022

神经网络中毒性验证

TL;DR本文研究了数据毒化这一神经网络安全问题,使用现有验证工具如 Marabou 和 nneum,将问题表达为可验证的属性,并证明了所发现触发器可以从小模型转移到更大的性能先进的图像分类模型上。