Variance Reduced ProxSkip: Algorithm, Theory and Application to Federated Learning - Malinovsky, Grigory; Yi, Kai; Richtarik, Peter (Advances in Neural Information Processing Systems, 2022)