Jincheng Bai, Qifan Song, Guang Cheng: Efficient Variational Inference for Sparse Deep Learning with Theoretical Guarantee. NeurIPS 2020