Formal Logic Enabled Personalized Federated Learning Through Property Inference

Re-assign community