Bayesian Optimisation with Gaussian Processes for Premise Selection

Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik +2

Heuristics in theorem provers are often parameterised. Modern theorem provers such as Vampire utilise a wide array of heuristics to control the search space explosion, thereby requ…