NAO introduces a novel verification protocol for floating-point neural networks that ensures deterministic outputs without trusted hardware, utilizing IEEE-7...
Level: advanced
By Jianzhu Yao and 6 other authors
Category: research