Xiaoxing Ma

Un nuovo metodo migliora l'apprendimento automatico combinando regole logiche con il deep learning.

Un metodo per connettere le reti neurali con il ragionamento simbolico per migliori performance.

Una panoramica dell'importanza e dei metodi per verificare i sistemi distribuiti.

Nuovo metodo migliora le abilità matematiche delle macchine usando una generazione innovativa di problemi.