Keyword:premise selection

Publications
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Aiming for the Goal with SInE Martin Suda In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora Cezary Kaliszyk and Josef Urban In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Learning from Multiple Proofs: First Experiments Daniel Kuehlwein and Josef Urban In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning