#形式化方法

联邦学习领域终于有了形式化的计算模型——这篇论文用类型化张量语言统一了分散的协议，做联邦学习系统设计和理论研究的团队值得细读，能帮你理清通信与共享状态的数学本质。

做AI安全与合规的团队终于有了可落地的形式化方法方案——LTL+小模型就能超越LLM裁判，建议做AI治理的开发者直接看实验部分。