Formal Logic Enabled Personalized Federated Learning Through Property Inference

An et al. "Formal Logic Enabled Personalized Federated Learning Through Property Inference." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I10.28962

[An et al. "Formal Logic Enabled Personalized Federated Learning Through Property Inference." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/an2024aaai-formal/) doi:10.1609/AAAI.V38I10.28962

@inproceedings{an2024aaai-formal,
  title     = {{Formal Logic Enabled Personalized Federated Learning Through Property Inference}},
  author    = {An, Ziyan and Johnson, Taylor T. and Ma, Meiyi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {10882-10890},
  doi       = {10.1609/AAAI.V38I10.28962},
  url       = {https://mlanthology.org/aaai/2024/an2024aaai-formal/}
}