Bhabesh Mali

Exploiter les grands modèles de langage pour générer des assertions de manière efficace dans la vérification de conception électronique.