实体
Burer-Monteiro
Burer-Monteiro
PulseAugur coverage of Burer-Monteiro — every cluster mentioning Burer-Monteiro across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新的$(\text{DNN})^2$方法增强了神经网络验证
研究人员开发了一种名为$(\text{DNN})^2$的新方法，用于改进深度神经网络的验证，特别是那些使用ReLU（整流线性单元）的网络。现有方法由于松弛中的差距，通常提供过于保守的安全保证。虽然完全正程序（CPP）公式可以弥合这些差距，但计算上不可行。提出的$(\text{DNN})^2$方法提供了一种更易于处理的松弛，它将关键约束保留为半定规划（SDP），解决了之前限制其使用的可扩展性问题。这种新方法利用了一种新颖的特征值最大化程…
-
使用黎曼几何分析矩阵优化景观
本文使用 Burer-Monteiro 分解和黎曼几何分析了固定秩矩阵优化问题的全局景观。该研究根据测地凸性和光滑性将搜索空间划分为三个区域。它为梯度下降在此分解中的有效性提供了几何解释，并为 Bures-Wasserstein 空间中的凸性半径提供了定量界限。