Learning a Static Analyzer from Data.
Pavol BielikVeselin RaychevMartin T. VechevPublished in: CAV (1) (2017)
Keyphrases
- data sets
- database
- learning process
- active learning
- prior knowledge
- learning algorithm
- data sources
- small number
- data acquisition
- learning models
- original data
- raw data
- neural network
- image data
- data collection
- statistical analysis
- synthetic data
- complex data
- data quality
- accurate models
- missing data
- knowledge acquisition
- data processing
- data structure
- reinforcement learning
- privacy preserving
- background knowledge
- experimental data
- data objects
- high quality
- database systems
- decision trees
- bayesian methods
- machine learning