Xiaoxing Ma

Une nouvelle méthode améliore l'apprentissage automatique en combinant des règles logiques avec l'apprentissage profond.

Une méthode pour connecter des réseaux de neurones avec un raisonnement symbolique pour de meilleures performances.

Un aperçu de l'importance et des méthodes pour vérifier les systèmes distribués.

Une nouvelle méthode améliore les compétences mathématiques des machines grâce à une génération de problèmes innovante.