Oded Padon

Une nouvelle méthode améliore l'efficacité des réseaux de neurones profonds grâce à une optimisation automatisée.

Cet article présente des techniques efficaces pour utiliser la logique du premier ordre dans la vérification des systèmes.