أرسل هذا في رسالة قصيرة: Formal verification of neural networks