Open access
Jul 2026
Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning
LogiCP is a novel FL framework that integrates formal logic reasoning with uncertainty quantification (UQ) to support scalable and personalized learning with theoretical guarantees, achieving up to a 95% improvement in client-level MSE while maintaining strong scalability.
Guocheng He, Ziyan An, Meiyi Ma
· Journal of Artificial Intell... · 0 citations