BriefGPT.xyz
Ask
alpha
关键词
formal verification techniques
搜索结果 - 1
可证明的最小扭曲对抗样本
利用形式验证技术构建对抗样本,证明这些样本是最小扭曲的,从而增加了对抗性训练的鲁棒性。
PDF
7 years ago
Prev
Next