Efficient Variational Inference for Sparse Deep Learning with Theoretical Guarantee - Bai, Jincheng; Song, Qifan; Cheng, Guang (Advances in Neural Information Processing Systems, 2020)