An, Ziyan, Taylor T. Johnson, and Meiyi Ma. 2024. “Formal Logic Enabled Personalized Federated Learning through Property Inference”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (10):10882-90. https://doi.org/10.1609/aaai.v38i10.28962.