proof-sharing

本文对基于模板的神经网络鲁棒性验证加速进行系统性研究，并介绍了FastCert，一种自动分配模板以提高性能的技术。