أرسل هذا في رسالة قصيرة: Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance