Generalization Bounds for Magnitude-Based Pruning via Sparse Matrix Sketching. - Etash Kumar Guha; Prasanjit Dubey; Xiaoming Huo (CoRR, 2023)