Play Video Abstract: Provable Algorithms for ML/AI problems