Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning

Guocheng He, Ziyan An, Meiyi Ma. Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning. J. Artif. Intell. Res. (JAIR), 86, 2026. [doi]

Abstract

Abstract is missing.