Formal Logic Enabled Personalized Federated Learning Through Property Inference (bibtex)

by Ziyan An, Taylor T. Johnson and Meiyi Ma

Reference:

Ziyan An, Taylor T. Johnson and Meiyi Ma, "Formal Logic Enabled Personalized Federated Learning Through Property Inference", In 38th AAAI Conference on Artificial Intelligence (AAAI'24), AAAI, pp. 10882–10890, 2024.

Bibtex Entry:

@inproceedings{an2024aaai,
  title = {Formal Logic Enabled Personalized Federated Learning Through Property Inference},
  author = {Ziyan An and Taylor T. Johnson and Meiyi Ma},
  year = {2024},
  month = feb,
  booktitle = {38th AAAI Conference on Artificial Intelligence (AAAI'24)},
  volume = {38},
  pages = {10882--10890},
  publisher = {AAAI},
  doi = {10.1609/aaai.v38i10.28962},
  keywords = {federated learning,neurosymbolic learning,temporal logic},
  publabel = {C44},
  pubtype = {C},
  dblp = {conf/aaai/AnJM24},
}