Xiaoxing Ma

A new method improves machine learning by combining logical rules with deep learning.

A method to connect neural networks with symbolic reasoning for better performance.

An overview of the importance and methods for verifying distributed systems.

New method improves machine math skills using innovative problem generation.