Greedy Pruning with Group Lasso Provably Generalizes for Matrix Sensing. - Rajaraman, Nived; Devvrit; Mokhtari, Aryan; Ramchandran, Kannan (2023)