Alert button

Bayesian Optimisation with Gaussian Processes for Premise Selection

Sep 18, 2019
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson

Figure 1 for Bayesian Optimisation with Gaussian Processes for Premise Selection
Figure 2 for Bayesian Optimisation with Gaussian Processes for Premise Selection

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: