AI RESEARCH
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
arXiv CS.AI
•
ArXi:2411.03231v3 Announce Type: replace-cross