Ying Sheng

DafnyBench teste des outils de vérification de logiciels, ouvrant la voie à une programmation fiable.

Une nouvelle méthode améliore la vitesse et l'efficacité des grands modèles de langage.

Découvrez comment AI Metropolis accélère et améliore les interactions des agents dans les simulations.