Lin Tan

Cet article explore une méthode pour comprendre les modèles de machine learning en boîte noire sans données d'entraînement.

Enquête sur le rôle des LLM dans la génération de spécifications de logiciels pour la vérification.