Formal guarantees for heuristic optimization algorithms used in machine learning

Open in new window