We present a provable, sampling-based approach for generating compact convolutional neural networks (CNNs) by identifying and removing redundant filters from an over-parameterized network. Our algorithm uses a small batch of input data points to assign a saliency score to each filter a