Xiang Yin

Un aperçu des méthodes formelles pour concevoir des systèmes autonomes sûrs.

Cet article présente une nouvelle méthode pour améliorer le raisonnement dans les modèles de langage.

Nouveau jeu de données et système de détection améliorent l'efficacité de la récolte des fruits pour les agriculteurs.

Une nouvelle méthode améliore la conversion vocale entre les langues tout en préservant les traits du locuteur.

MulliVC transforme les voix à travers les langues avec une précision et une clarté impressionnantes.

Examiner comment différents observateurs perçoivent et infèrent des connaissances dans des systèmes complexes.