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

Abstract

Paper presentation.

Date
Jul 15, 2020 8:00 AM
Location
Online
Zhe Zeng
Zhe Zeng
Ph.D. student in AI

My research interests include probabilistic inference, probabilistic graphical models, knowledge compilation, and formal methods.