Xiaoxing Ma

Un nuevo método mejora el aprendizaje automático al combinar reglas lógicas con aprendizaje profundo.

Un método para conectar redes neuronales con razonamiento simbólico para un mejor rendimiento.

Una visión general de la importancia y métodos para verificar sistemas distribuidos.

Nuevo método mejora las habilidades matemáticas de las máquinas usando generación innovadora de problemas.