Published in KR2ML workshop @ NeurIPS19, 2019
KEYWORD: Hybrid Probabilistic Inference; Weighted Model Integration; Message Passing; Satisfiability Modulo Theories
Zeng, Zhe, et al. "Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message-Passing." arXiv preprint arXiv:1909.09362 (2019). https://kr2ml.github.io/2019/papers/KR2ML_2019_paper_26.pdf
Published in UAI 2019, 2019
KEYWORD: Hybrid Probabilistic Inference; Weighted Model Integration; Satisfiability Modulo Theories
Zhe Zeng and Guy Van den Broeck. Efficient search-based weighted model integration. Proceedings of UAI, 2019. http://starai.cs.ucla.edu/papers/ZengUAI19.pdf
Published in ICML 18, 2018
KEYWORD: Variational Inference; Stein’s Method; Continuous Graphical Models
Wang, Dilin, Zhe Zeng, and Qiang Liu. "Stein Variational Message Passing for Continuous Graphical Models." International Conference on Machine Learning. 2018. https://arxiv.org/abs/1711.07168