Lower Bounds for Possibly Divergent Probabilistic Programs.
Shenghua FengMingshuai ChenHan SuBenjamin Lucien KaminskiJoost-Pieter KatoenNaijun ZhanPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- lower bound
- upper bound
- branch and bound
- probabilistic model
- lower and upper bounds
- uncertain data
- np hard
- generative model
- probabilistic logic programs
- lower bounding
- branch and bound algorithm
- posterior probability
- data driven
- objective function
- bayesian networks
- information theoretic
- answer sets
- vc dimension
- genetic algorithm
- optimal cost
- set of randomly generated instances
- neural network