Xiang Yin

Uma visão geral dos métodos formais para projetar sistemas autônomos seguros.

Esse artigo apresenta um novo método pra melhorar o raciocínio em modelos de linguagem.

Novo conjunto de dados e sistema de detecção melhoram a eficiência da colheita de frutas para os agricultores.

Um novo método melhora a conversão de voz entre idiomas, mantendo as características do falante.

MulliVC transforma vozes em várias línguas com uma precisão e clareza impressionantes.

Analisando como diferentes observadores percebem e inferem conhecimento em sistemas complexos.