notesum.ai
Published at November 5Formal Logic-guided Robust Federated Learning against Poisoning Attacks
cs.CR
cs.AI
cs.DC
cs.LO
Released Date: November 5, 2024
Authors: Dung Thuy Nguyen1, Ziyan An1, Taylor T. Johnson1, Meiyi Ma1, Kevin Leach1
Aff.: 1Department of Computer Science, Vanderbilt University, Nashville, USA

| Signal is upper-bounded by threshold |
| and lower-bounded by threshold . |