Bit Blasting Probabilistic Programs.
Poorva GargSteven HoltzenGuy Van den BroeckTodd D. MillsteinPublished in: CoRR (2023)
Keyphrases
- probabilistic model
- uncertain data
- bayesian networks
- data driven
- control program
- probabilistic logic
- computer programs
- posterior probability
- multi agent
- relational databases
- real time
- conditional probabilities
- high level
- information retrieval
- machine learning
- real world
- probabilistic networks
- java programs
- absolute difference
- data sets