Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing

Zhe Zeng

Ph.D. student in AI

My research interests lie in the intersection of machine learning (tractable probabilistic modeling, statistical relational learning, graphical models, Bayesian deep learning, kernel and non-parametric methods) and formal methods.