Tristan Cazenave

Analisando maneiras de melhorar o desempenho do Holophrasm na prova de teoremas matemáticos.

EfficientFormer melhora o desempenho do Go em computador usando arquitetura de transformer.

EPIMC oferece um jeito novo de melhorar a tomada de decisão em jogos com informações ocultas.

Essa pesquisa mostra como a IA melhora a eficiência no agendamento de trabalho.

Essa pesquisa analisa como algoritmos de busca podem melhorar os testes de conjecturas em grafos.