全面認證：神經網絡訓練和推論的確定性端到端認證

本文提出了FullCert，這是第一個能夠對抗訓練時間和推論時間攻擊的確定性端到端神經網絡認證器。FullCert通過可達性分析(基於抽象解釋)來計算訓練和推論過程中的上界,從而保證模型的健壯性。