TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks.

Jianzhu Yao, Hongxu Su, Taobo Liao, Zerui Cheng, Huan Zhang, Xuechao Wang, Pramod Viswanath

Browse the full EuroSys paper archive.