FeTa: A DCA Pruning Algorithm with Generalization Error Guarantees
A PAC-Bayesian Approach to Spectrally-Normalized Margin Bounds for Neural Networks