Neural Probabilistic Logic Programming in Discrete-Continuous Domains - UAI 2023 Oral Session 1

Explore a cutting-edge conference talk on Neural Probabilistic Logic Programming in Discrete-Continuous Domains presented at the Uncertainty in Artificial Intelligence (UAI) 2023 conference. Delve into the innovative DeepSeaProbLog system, which combines neural-symbolic AI with deep probabilistic programming techniques to support both discrete and continuous probability distributions under logical constraints. Learn about the system's semantics, inference algorithm, and proven asymptotically unbiased learning algorithm. Discover how this approach bridges the gap between finite probability distributions in current probabilistic neural-symbolic systems and the continuous probability modeling capabilities of deep probabilistic programming. Gain insights into the versatility of DeepSeaProbLog through a series of experiments showcased in this 22-minute presentation.