Harshit Jitendra Motwani

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic

Weighted model integration (WMI) is a relatively recent formalism that has received significant interest as a technique for solving probabilistic inference tasks with complicated weight functions. Existing methods and tools are mostly focused on linear and polynomial functions and provide limited su