Learning Abstraction Selection for Bayesian Program Analysis.
Yifan ZhangYuanfeng ShiXin ZhangPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- learning algorithm
- high level
- reinforcement learning
- knowledge acquisition
- bayesian learning
- learning problems
- learning systems
- unsupervised learning
- neural network
- online learning
- database
- empirical studies
- learning process
- learning tasks
- data mining
- inductive learning
- supervised learning
- data driven
- learning styles
- expert systems
- background knowledge
- learning analytics
- gaussian processes