Bayesian Optimisation of Solver Parameters in CBMC.
Chaitanya ManglaSean B. HoldenLawrence C. PaulsonPublished in: SMT (2020)
Keyphrases
- maximum likelihood
- parameter values
- genetic algorithm
- database
- data driven
- expectation maximization
- neural network
- bayesian methods
- parameter estimation
- prior distribution
- fine tuning
- maximum likelihood estimation
- bayesian inference
- prior knowledge
- search space
- multiscale
- computer vision
- artificial intelligence
- data sets