Bit Blasting Probabilistic Programs.
Poorva GargSteven HoltzenGuy Van den BroeckTodd D. MillsteinPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- bayesian networks
- probabilistic model
- uncertain data
- database systems
- automatic programming
- generative model
- computer programs
- probabilistic logic
- posterior probability
- probabilistic logic programs
- bit vector
- probabilistic approaches
- probability theory
- probabilistic reasoning
- real time
- information theoretic
- data streams
- data structure
- decision making
- information systems