Keyword:premise selection

Papers
Aiming for the Goal with SInE Martin Suda In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence C. Paulson In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Learning from Multiple Proofs: First Experiments Daniel Kuehlwein and Josef Urban In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
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