Sasa Misailovic

Uncovering the Limits of Proof Sharing for Neural Networks

This study shows that template subsumption rates can vary widely across scenarios, and presents FastCert, a novel technique for automatically distributing templates across neural network layers to increase performance impact, eschewing templates entirely if they are unlikely to produce a speedup.