May, 2024

验证神经压缩感知

TL;DR我们首次开发了自动验证算法生成的可证明正确性的神经网络,在计算任务中,我们使用精确的正确性概念,通过训练和验证,成功地实现了从少于向量维数的测量中回复稀疏向量的任务,并且在问题维度较小的情况下,网络的复杂性可以根据问题难度进行调整,解决了传统压缩感知方法无法证明可行的问题。