Gradient Descent Quantizes ReLU Network Features
SGD Learns Over-parameterized Networks that Provably Generalize on Linearly Separable Data