MaLeS: a framework for automatic tuning of automated theorem provers

DOI10.1007/s10817-015-9329-1zbMath1356.68193arXiv1308.2116OpenAlexW1834745875WikidataQ59430126 ScholiaQ59430126MaRDI QIDQ286787

Josef Urban, Daniel Kühlwein

Publication date: 26 May 2016

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.2116

zbMATH Keywords

machine learningautomated theorem proversstrategy selection

Mathematics Subject Classification ID

Related Items (3)

ENIGMA: efficient learning-based inference guiding machine ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Hierarchical invention of theorem proving strategies

Uses Software

• LEO-II
• Paramils
• VAMPIRE
• TPTP
• SATzilla
• Satallax
• E Theorem Prover
• Python
• E-MaLeS
• BliStr
• PRMLT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Evaluating general purpose automated theorem proving systems
• Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Satallax: An Automatic Higher-Order Prover
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
• The CADE-22 automated theorem proving system competition – CASC-22
• ParamILS: An Automatic Algorithm Configuration Framework
• 10.1162/153244303322753616

This page was built for publication: MaLeS: a framework for automatic tuning of automated theorem provers