Zhibin Gou

Uma nova abordagem melhora o raciocínio científico dos modelos de linguagem através do uso efetivo de ferramentas.

Uma ferramenta feita pra melhorar as tarefas de ciência de dados com planejamento dinâmico e checagem de erros.

A pesquisa sobre árvores de busca de provas melhora os métodos de prova automática de teoremas.