Semi-Supervised Sparse Gaussian Classification: Provable Benefits of Unlabeled Data