An, Z., Johnson, T. T., & Ma, M. (2024). Formal Logic Enabled Personalized Federated Learning through Property Inference. Proceedings of the AAAI Conference on Artificial Intelligence, 38(10), 10882–10890. https://doi.org/10.1609/aaai.v38i10.28962