Wenda Li

POETRY améliore l'efficacité de la preuve de théorèmes grâce à son approche récursive.

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

Apprends à entraîner des modèles pour les embeddings de texte de manière intelligente et efficace.