Efficient search-based weighted model integration

Abstract

Paper presentation.

Date
Jun 14, 2019 9:05 AM
Location
Long Beach
Zhe Zeng
Zhe Zeng
Ph.D. student in AI

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