TY - RPRT TI - Formal guarantees for heuristic optimization algorithms used in machine learning AU - Xiaoyu Li PY - 2022 UR - https://arxiv.org/abs/2208.00502 ID - 2208.00502 ER -