Greedy Pruning with Group Lasso Provably Generalizes for Matrix Sensing | Read Paper on Bytez