Nondeterminism-Aware Optimistic Verification for Floating-Point Neural Networks. - Jianzhu Yao; Hongxu Su; Taobo Liao; Zerui Cheng; Huan Zhang; Xuechao Wang; Pramod Viswanath (CoRR, 2025)