Formal Logic Enabled Personalized Federated Learning through Property Inference

An, Ziyan; Johnson, Taylor T.; Ma, Meiyi

doi:10.1609/aaai.v38i10.28962

by Ziyan An, Taylor T. Johnson, Meiyi Ma

Reference:

Ziyan An, Taylor T. Johnson, Meiyi Ma, "Formal Logic Enabled Personalized Federated Learning through Property Inference", In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI'24), vol. , no. , pp. , 2024, feb.

Bibtex Entry:

@INPROCEEDINGS{an2024aaai,
  author={Ziyan An and Taylor T. Johnson and Meiyi Ma},
  title={Formal Logic Enabled Personalized Federated Learning through Property Inference},
  booktitle={Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI'24)},
  year={2024},
  month=feb,
  volume={},
  number={},
  pages={},
  doi={10.1609/aaai.v38i10.28962},
  pdf="research/an2024.pdf"
}