George K. Thiruvathukal

Un nouveau jeu de données révèle des infos sur l'utilisation des modèles pré-entraînés dans les projets logiciels.

Cet article parle des défis de sécurité des modèles d'apprentissage profond et des stratégies de défense.

Un programme pour enseigner la vérification de modèles pour le développement de logiciels fiables.