Theodore Papamarkou
PulseAugur coverage of Theodore Papamarkou — every cluster mentioning Theodore Papamarkou across labs, papers, and developer communities, ranked by signal.
-
新的类型化张量语言支持共享状态联邦计算
一种新的类型化张量语言已被开发出来,用于促进共享状态联邦计算,该计算将客户端本地张量操作与聚合共享状态相结合。该语言使用两种张量排序来区分客户端分区数据和全局可用值,并跟踪分区轴。它使类型化的单轮程序能够通过共享张量进行分解,其中编码器组件由聚合或收缩表示,而解码器仅共享。该系统扩展到具有持久共享状态的多轮程序,并支持用于联邦分析和FedSGD的服务器端一阶和曲率块更新。
-
新研究提出用于 LLM 编码代理的确定性和贝叶斯控制
两篇新研究论文提出了改进 LLM 编码代理的控制和可靠性的方法。一篇论文介绍了一个确定性控制平面 Rel(AI)Build,旨在将代理配置作为供应链进行管理,强制执行分层权限,并检测提示漂移。另一篇论文提出了一个用于编排的贝叶斯控制器,将工具使用决策视为成本敏感的顺序假设检验,以管理不确定性并提高正确性评分,尤其是在验证成本高昂的情况下。
-
新的类型化张量语言将联邦学习结构形式化
研究人员开发了一种新的类型化张量语言,用于形式化联邦学习和分析的结构。该语言区分了分布在客户端上的联邦张量和全局可用的共享张量。一项关键发现是共享状态分解理论,证明了一轮联邦程序可以通过与客户端数量无关的固定维度的共享状态进行分解。
-
TopoU-Net架构处理复杂数据结构
研究人员开发了TopoU-Net,这是一种新颖的U-Net架构,旨在处理具有超越简单网格或图的更高阶结构的数据集。该架构利用组合复形,使用单元和关联来表示数据,从而实现灵活的编码器-解码器设计。TopoU-Net在节点分类和图像重建等各种任务中表现出色,尤其在异质图和复杂超图数据集上表现突出。