Nadia Polikarpova

Un outil qui utilise l'IA pour générer des assertions d'aide pour la vérification de code Dafny.

De nouvelles méthodes améliorent les résultats des modèles de langue tout en respectant les règles de grammaire.