Data-Driven Invariant Learning for Probabilistic Programs.
Jialu BaoNitesh TrivediDrashti PathakJustin HsuSubhajit RoyPublished in: CAV (1) (2022)
Keyphrases
- data driven
- background knowledge
- knowledge acquisition
- learning systems
- learning process
- learning algorithm
- learning problems
- learning tasks
- empirical studies
- active learning
- prior knowledge
- reinforcement learning
- training data
- decision trees
- artificial intelligence
- neural network
- belief networks
- latent variable models