Oded Padon

Un nuevo método mejora la eficiencia de las redes neuronales profundas a través de la optimización automatizada.

Este artículo presenta técnicas eficientes para usar lógica de primer orden en la verificación de sistemas.