Zhibin Gou

Une nouvelle approche renforce le raisonnement scientifique des modèles de langage grâce à une utilisation efficace des outils.

Un outil conçu pour améliorer les tâches de data science grâce à la planification dynamique et à la vérification des erreurs.

La recherche sur les arbres de recherche de preuves améliore les méthodes de preuve automatisée.