Formal logic inference guided uncertainty quantification for personalized federated learning

DOI10.1613/JAIR.1.21429MaRDI QIDQ7307221zbMATH OpenFDO

Authors Guocheng He, Ziyan An, Meiyi Ma

Publication date 31 July 2026

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1613/JAIR.1.21429

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• A tutorial on conformal prediction
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Robust satisfaction of temporal logic over real-valued signals

This page was built for publication: Formal logic inference guided uncertainty quantification for personalized federated learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7307221)