Jan, 2024

对齐研究中心矩阵完备问题的多项式精度依赖解决方案

TL;DR我们提出了一个多项式依赖于精度 epsilon 的矩阵补全问题的解决方案,该问题的动机是为了实现对深度神经网络中不同数量的启发式估计器进行正式评估和推理的高效计算,以实现人工智能对齐的目标。我们的解决方案是将矩阵补全问题重新构建为半定规划问题(SDP),并利用快速、高效且可扩展的 SDP 解算的最新进展中的光束谱方法。