RTX6000

新的TAO协议验证浮点神经网络

研究人员开发了一种名为TAO（容差感知乐观验证）的新验证协议，旨在确保浮点神经网络计算的完整性，特别是在云端机器学习服务中。TAO通过接受原则性接受区域内的输出来解决不同硬件上非确定性浮点执行的挑战，而不是要求逐位相等。该系统结合了理论最坏情况界限和经验百分位数剖面，并使用争议博弈将差异递归地缩小到单个运算符，从而使验证对于实际的机器学习模型具有可扩展性和实用性。