Federated Binary Matrix Factorization using Proximal Optimization