Optimal Lottery Tickets via Subset Sum: Logarithmic Over-Parameterization is Sufficient - Pensia, Ankit; Rajput, Shashank; Nagle, Alliot; Vishwakarma, Harit; Papailiopoulos, Dimitris (Advances in Neural Information Processing Systems, 2020)