On Model Compression for Neural Networks: Framework, Algorithm, and Convergence Guarantee - Chenyang Li; Jihoon Chung; Biao Cai; Haimin Wang; Xianlian Zhou; Bo Shen (2023)