MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers

Daniel Kühlwein,Josef Urban
DOI: https://doi.org/10.1007/s10817-015-9329-1
2015-07-16
Journal of Automated Reasoning
Abstract:MaLeS is an automatic tuning framework for automated theorem provers. It provides solutions for both the strategy finding as well as the strategy scheduling problem. This paper describes the tool and the methods used in it, and evaluates its performance on three automated theorem provers: E, LEO-II and Satallax. On a representative subset of the TPTP library a MaLeS-tuned prover solves on average 8.67 % more problems than the prover with its default settings.
computer science, artificial intelligence
What problem does this paper attempt to address?