On Convergence of FedProx: Local Dissimilarity Invariant Bounds, Non-smoothness and Beyond - Yuan, Xiaotong; Li, Ping (Advances in Neural Information Processing Systems, 2022)