Stabilized Proximal-Point Methods for Federated Optimization - Jiang, Xiaowen; Rodomanov, Anton; Stich, Sebastian U. (Advances in Neural Information Processing Systems, 2024)