Formal Logic Enabled Personalized Federated Learning Through Property Inference
Fuente:
arXiv
Salvato in:
| Autori principali: | An, Ziyan, Johnson, Taylor T., Ma, Meiyi |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Towards Verified and Targeted Explanations through Formal Methods
di: Wang, Hanchen David, et al.
Pubblicazione: (2026)
di: Wang, Hanchen David, et al.
Pubblicazione: (2026)
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
di: An, Ziyan, et al.
Pubblicazione: (2024)
di: An, Ziyan, et al.
Pubblicazione: (2024)
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
di: Nguyen, Dung Thuy, et al.
Pubblicazione: (2024)
di: Nguyen, Dung Thuy, et al.
Pubblicazione: (2024)
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)
di: Chen, Luoxin, et al.
Pubblicazione: (2026)
Trust and Resilience in Federated Learning Through Smart Contracts Enabled Decentralized Systems
di: Cassano, Lorenzo, et al.
Pubblicazione: (2024)
di: Cassano, Lorenzo, et al.
Pubblicazione: (2024)
Few-for-Many Personalized Federated Learning
di: Guo, Ping, et al.
Pubblicazione: (2026)
di: Guo, Ping, et al.
Pubblicazione: (2026)
Personalized Federated Learning via Learning Dynamic Graphs
di: Zhou, Ziran, et al.
Pubblicazione: (2025)
di: Zhou, Ziran, et al.
Pubblicazione: (2025)
Graph Federated Learning for Personalized Privacy Recommendation
di: Na, Ce, et al.
Pubblicazione: (2025)
di: Na, Ce, et al.
Pubblicazione: (2025)
Curriculum Guided Personalized Subgraph Federated Learning
di: Kang, Minku, et al.
Pubblicazione: (2025)
di: Kang, Minku, et al.
Pubblicazione: (2025)
IP-FL: Incentivized and Personalized Federated Learning
di: Khan, Ahmad Faraz, et al.
Pubblicazione: (2023)
di: Khan, Ahmad Faraz, et al.
Pubblicazione: (2023)
Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
di: Xia, Yuan, et al.
Pubblicazione: (2025)
di: Xia, Yuan, et al.
Pubblicazione: (2025)
Personalized Federated Learning via Feature Distribution Adaptation
di: Mclaughlin, Connor J., et al.
Pubblicazione: (2024)
di: Mclaughlin, Connor J., et al.
Pubblicazione: (2024)
On ADMM in Heterogeneous Federated Learning: Personalization, Robustness, and Fairness
di: Zhu, Shengkun, et al.
Pubblicazione: (2024)
di: Zhu, Shengkun, et al.
Pubblicazione: (2024)
Personalized Subgraph Federated Learning with Differentiable Auxiliary Projections
di: Zhuo, Wei, et al.
Pubblicazione: (2025)
di: Zhuo, Wei, et al.
Pubblicazione: (2025)
Combining LLMs with Logic-Based Framework to Explain MCTS
di: An, Ziyan, et al.
Pubblicazione: (2025)
di: An, Ziyan, et al.
Pubblicazione: (2025)
Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
di: Patrascu, Andrei T.
Pubblicazione: (2025)
di: Patrascu, Andrei T.
Pubblicazione: (2025)
Personalized Federated Learning via Sequential Layer Expansion in Representation Learning
di: Jang, Jaewon, et al.
Pubblicazione: (2024)
di: Jang, Jaewon, et al.
Pubblicazione: (2024)
Learning with Preserving for Continual Multitask Learning
di: Wang, Hanchen David, et al.
Pubblicazione: (2025)
di: Wang, Hanchen David, et al.
Pubblicazione: (2025)
Bayesian Neural Network For Personalized Federated Learning Parameter Selection
di: Luo, Mengen, et al.
Pubblicazione: (2024)
di: Luo, Mengen, et al.
Pubblicazione: (2024)
Benchmarking Data Heterogeneity Evaluation Approaches for Personalized Federated Learning
di: Li, Zhilong, et al.
Pubblicazione: (2024)
di: Li, Zhilong, et al.
Pubblicazione: (2024)
UA-PDFL: A Personalized Approach for Decentralized Federated Learning
di: Zhu, Hangyu, et al.
Pubblicazione: (2024)
di: Zhu, Hangyu, et al.
Pubblicazione: (2024)
Personalized Federated Continual Learning via Multi-granularity Prompt
di: Yu, Hao, et al.
Pubblicazione: (2024)
di: Yu, Hao, et al.
Pubblicazione: (2024)
FHBench: Towards Efficient and Personalized Federated Learning for Multimodal Healthcare
di: Wang, Penghao, et al.
Pubblicazione: (2025)
di: Wang, Penghao, et al.
Pubblicazione: (2025)
Probabilistic Federated Learning on Uncertain and Heterogeneous Data with Model Personalization
di: Rahman, Ratun, et al.
Pubblicazione: (2026)
di: Rahman, Ratun, et al.
Pubblicazione: (2026)
Lazy But Effective: Collaborative Personalized Federated Learning with Heterogeneous Data
di: Rokvic, Ljubomir, et al.
Pubblicazione: (2025)
di: Rokvic, Ljubomir, et al.
Pubblicazione: (2025)
LLM-Guided Dynamic-UMAP for Personalized Federated Graph Learning
di: Puppala, Sai, et al.
Pubblicazione: (2025)
di: Puppala, Sai, et al.
Pubblicazione: (2025)
FedPPA: Progressive Parameter Alignment for Personalized Federated Learning
di: Prasetia, Maulidi Adi, et al.
Pubblicazione: (2025)
di: Prasetia, Maulidi Adi, et al.
Pubblicazione: (2025)
PFedDST: Personalized Federated Learning with Decentralized Selection Training
di: Fan, Mengchen, et al.
Pubblicazione: (2025)
di: Fan, Mengchen, et al.
Pubblicazione: (2025)
Enabling Realtime Reinforcement Learning at Scale with Staggered Asynchronous Inference
di: Riemer, Matthew, et al.
Pubblicazione: (2024)
di: Riemer, Matthew, et al.
Pubblicazione: (2024)
FedAGHN: Personalized Federated Learning with Attentive Graph HyperNetworks
di: Song, Jiarui, et al.
Pubblicazione: (2025)
di: Song, Jiarui, et al.
Pubblicazione: (2025)
PerAda: Parameter-Efficient Federated Learning Personalization with Generalization Guarantees
di: Xie, Chulin, et al.
Pubblicazione: (2023)
di: Xie, Chulin, et al.
Pubblicazione: (2023)
Personalized Observation Normalization for Federated Reinforcement Learning in Simulation Environments with Heterogeneity
di: Pang, Yiran, et al.
Pubblicazione: (2026)
di: Pang, Yiran, et al.
Pubblicazione: (2026)
Personalized Multi-tier Federated Learning
di: Banerjee, Sourasekhar, et al.
Pubblicazione: (2024)
di: Banerjee, Sourasekhar, et al.
Pubblicazione: (2024)
Heterogeneity-aware Personalized Federated Learning via Adaptive Dual-Agent Reinforcement Learning
di: Chen, Xi, et al.
Pubblicazione: (2025)
di: Chen, Xi, et al.
Pubblicazione: (2025)
Improving Early Sepsis Onset Prediction Through Federated Learning
di: Düsing, Christoph, et al.
Pubblicazione: (2025)
di: Düsing, Christoph, et al.
Pubblicazione: (2025)
eFedLLM: Efficient LLM Inference Based on Federated Learning
di: Ding, Shengwen, et al.
Pubblicazione: (2024)
di: Ding, Shengwen, et al.
Pubblicazione: (2024)
FedSelect: Personalized Federated Learning with Customized Selection of Parameters for Fine-Tuning
di: Tamirisa, Rishub, et al.
Pubblicazione: (2024)
di: Tamirisa, Rishub, et al.
Pubblicazione: (2024)
Decentralized Personalized Federated Learning based on a Conditional Sparse-to-Sparser Scheme
di: Long, Qianyu, et al.
Pubblicazione: (2024)
di: Long, Qianyu, et al.
Pubblicazione: (2024)
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
di: Hillerstrom, Fieke, et al.
Pubblicazione: (2024)
di: Hillerstrom, Fieke, et al.
Pubblicazione: (2024)
CLoVE: Personalized Federated Learning through Clustering of Loss Vector Embeddings
di: Bhatia, Randeep, et al.
Pubblicazione: (2025)
di: Bhatia, Randeep, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Towards Verified and Targeted Explanations through Formal Methods
di: Wang, Hanchen David, et al.
Pubblicazione: (2026) -
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
di: An, Ziyan, et al.
Pubblicazione: (2024) -
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
di: Nguyen, Dung Thuy, et al.
Pubblicazione: (2024) -
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026) -
Trust and Resilience in Federated Learning Through Smart Contracts Enabled Decentralized Systems
di: Cassano, Lorenzo, et al.
Pubblicazione: (2024)