Xiaoxing Ma

Um novo método melhora o aprendizado de máquina ao combinar regras lógicas com aprendizado profundo.

Um método pra conectar redes neurais com raciocínio simbólico pra ter um desempenho melhor.

Uma visão geral da importância e dos métodos para verificar sistemas distribuídos.

Novo método melhora as habilidades matemáticas das máquinas usando geração inovadora de problemas.