论文11:39AD-CERT：通过对抗蒸馏提升认证鲁棒性这篇论文提出了AD-CERT，用对抗蒸馏帮模型在保持准确率的同时更容易通过形式化验证，在多个基准上刷新了认证精度记录。#AD-CERT#IBP#认证训练#对抗蒸馏aarXiv cs.LG@Matteo Melis 等 3 人原文稍后读已读值得跟进有用关注 AD-CERT