Stefan Leue

Un nuevo enfoque para verificar los comportamientos globales de las redes neuronales para un rendimiento fiable.

Un nuevo algoritmo mejora la verificación de redes neuronales para su confiabilidad y equidad.