Convergence result for the gradient-push algorithm and its application to boost up the Push-DIging algorithm. - Hyogi Choi; Woocheol Choi; Gwangil Kim (CoRR, 2024)