Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving.
Agnieszka SlowikChaitanya ManglaMateja JamnikSean B. HoldenLawrence C. PaulsonPublished in: Vampire (2019)
Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- bayesian networks
- genetic algorithm
- heuristic methods
- bayesian inference
- search algorithm
- posterior probability
- maximum likelihood
- dynamic programming
- np hard
- optimal solution
- machine learning
- general purpose
- constraint satisfaction
- training data
- classical logic