Deep Learning Theory, Neural Network Pruning