Daya Guo

La recherche améliore la génération de données pour valider des preuves mathématiques en utilisant l'IA.

Des chercheurs développent des méthodes pour un meilleur code d’automatisation de la gestion des données grâce à des exemples riches en contexte.