HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.