certified-training

Veriphi 是一个 GPU 加速的神经网络验证系统，结合了对抗攻击与形式化认证。它表明训练方法（标准、对抗、认证）的有效性高度依赖于数据集的复杂度：在简单的 MNIST 上，IBP 占主导，而在复杂的 CIFAR-10 上，PGD 占主导，并实现了 5 倍验证加速。