Tag
This paper conducts a systematic study on template-based acceleration for neural network robustness verification and introduces FastCert, a technique to automatically distribute templates for improved performance.