Imagen de Portada

Formal Logic Enabled Personalized Federated Learning Through Property Inference

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	An, Ziyan, Johnson, Taylor T., Ma, Meiyi
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards Verified and Targeted Explanations through Formal Methods
por: Wang, Hanchen David, et al.
Publicado: (2026)

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
por: An, Ziyan, et al.
Publicado: (2024)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
por: Nguyen, Dung Thuy, et al.
Publicado: (2024)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
por: Chen, Luoxin, et al.
Publicado: (2026)

Trust and Resilience in Federated Learning Through Smart Contracts Enabled Decentralized Systems
por: Cassano, Lorenzo, et al.
Publicado: (2024)

Few-for-Many Personalized Federated Learning
por: Guo, Ping, et al.
Publicado: (2026)

Personalized Federated Learning via Learning Dynamic Graphs
por: Zhou, Ziran, et al.
Publicado: (2025)

Graph Federated Learning for Personalized Privacy Recommendation
por: Na, Ce, et al.
Publicado: (2025)

Curriculum Guided Personalized Subgraph Federated Learning
por: Kang, Minku, et al.
Publicado: (2025)

IP-FL: Incentivized and Personalized Federated Learning
por: Khan, Ahmad Faraz, et al.
Publicado: (2023)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
por: Xia, Yuan, et al.
Publicado: (2025)

Personalized Federated Learning via Feature Distribution Adaptation
por: Mclaughlin, Connor J., et al.
Publicado: (2024)

On ADMM in Heterogeneous Federated Learning: Personalization, Robustness, and Fairness
por: Zhu, Shengkun, et al.
Publicado: (2024)

Personalized Subgraph Federated Learning with Differentiable Auxiliary Projections
por: Zhuo, Wei, et al.
Publicado: (2025)

Combining LLMs with Logic-Based Framework to Explain MCTS
por: An, Ziyan, et al.
Publicado: (2025)

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
por: Patrascu, Andrei T.
Publicado: (2025)

Personalized Federated Learning via Sequential Layer Expansion in Representation Learning
por: Jang, Jaewon, et al.
Publicado: (2024)

Learning with Preserving for Continual Multitask Learning
por: Wang, Hanchen David, et al.
Publicado: (2025)

Bayesian Neural Network For Personalized Federated Learning Parameter Selection
por: Luo, Mengen, et al.
Publicado: (2024)

Benchmarking Data Heterogeneity Evaluation Approaches for Personalized Federated Learning
por: Li, Zhilong, et al.
Publicado: (2024)

UA-PDFL: A Personalized Approach for Decentralized Federated Learning
por: Zhu, Hangyu, et al.
Publicado: (2024)

Personalized Federated Continual Learning via Multi-granularity Prompt
por: Yu, Hao, et al.
Publicado: (2024)

FHBench: Towards Efficient and Personalized Federated Learning for Multimodal Healthcare
por: Wang, Penghao, et al.
Publicado: (2025)

Probabilistic Federated Learning on Uncertain and Heterogeneous Data with Model Personalization
por: Rahman, Ratun, et al.
Publicado: (2026)

Lazy But Effective: Collaborative Personalized Federated Learning with Heterogeneous Data
por: Rokvic, Ljubomir, et al.
Publicado: (2025)

LLM-Guided Dynamic-UMAP for Personalized Federated Graph Learning
por: Puppala, Sai, et al.
Publicado: (2025)

FedPPA: Progressive Parameter Alignment for Personalized Federated Learning
por: Prasetia, Maulidi Adi, et al.
Publicado: (2025)

PFedDST: Personalized Federated Learning with Decentralized Selection Training
por: Fan, Mengchen, et al.
Publicado: (2025)

Enabling Realtime Reinforcement Learning at Scale with Staggered Asynchronous Inference
por: Riemer, Matthew, et al.
Publicado: (2024)

FedAGHN: Personalized Federated Learning with Attentive Graph HyperNetworks
por: Song, Jiarui, et al.
Publicado: (2025)

PerAda: Parameter-Efficient Federated Learning Personalization with Generalization Guarantees
por: Xie, Chulin, et al.
Publicado: (2023)

Personalized Observation Normalization for Federated Reinforcement Learning in Simulation Environments with Heterogeneity
por: Pang, Yiran, et al.
Publicado: (2026)

Personalized Multi-tier Federated Learning
por: Banerjee, Sourasekhar, et al.
Publicado: (2024)

Heterogeneity-aware Personalized Federated Learning via Adaptive Dual-Agent Reinforcement Learning
por: Chen, Xi, et al.
Publicado: (2025)

Improving Early Sepsis Onset Prediction Through Federated Learning
por: Düsing, Christoph, et al.
Publicado: (2025)

eFedLLM: Efficient LLM Inference Based on Federated Learning
por: Ding, Shengwen, et al.
Publicado: (2024)

FedSelect: Personalized Federated Learning with Customized Selection of Parameters for Fine-Tuning
por: Tamirisa, Rishub, et al.
Publicado: (2024)

Decentralized Personalized Federated Learning based on a Conditional Sparse-to-Sparser Scheme
por: Long, Qianyu, et al.
Publicado: (2024)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
por: Hillerstrom, Fieke, et al.
Publicado: (2024)

CLoVE: Personalized Federated Learning through Clustering of Loss Vector Embeddings
por: Bhatia, Randeep, et al.
Publicado: (2025)