Chang, X.; Li, Y.; Oymak, S.; Thrampoulidis, C. Provable Benefits of Overparameterization in Model Compression: From Double Descent to Pruning Neural Networks. AAAI 2021, 35, 6974-6983.