Formal Logic Enabled Personalized Federated Learning through Property Inference.

Ziyan An, Taylor T. Johnson, Meiyi Ma

Browse the full AAAI paper archive.