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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yao, Jianzhu, Su, Hongxu, Liao, Taobo, Cheng, Zerui, Zhang, Huan, Wang, Xuechao, Viswanath, Pramod
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security Artificial Intelligence Machine Learning Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2510.16028