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]

Authors

Guocheng He

This author has not been identified. Look up 'Guocheng He' in Google

Ziyan An

This author has not been identified. Look up 'Ziyan An' in Google

Meiyi Ma

This author has not been identified. Look up 'Meiyi Ma' in Google