Describir: Verificación de estructura de redes neuronales profundas en tiempo de compilación: Proyecto TensorSafe