arXiv ID:
2605.21103
arXiv 提交日期: 2026-05-20
一种用于联邦学习的类型化张量语言 / A Typed Tensor Language for Federated Learning
1️⃣ 一句话总结
本文提出了一种类型化张量语言,通过区分客户端本地张量与全局共享张量,形式化了联邦学习中的局部计算、聚合与后处理流程,理论证明该类语言中的单轮程序可通过固定维度的共享状态实现,并支持可微分学习与梯度下降等优化算法。