MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers

v1v2v3 (latest)

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers

9 August 2013

ArXiv (abs)PDF HTML

Papers citing "MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers"

8 / 8 papers shown

Title
Regularization in Spider-Style Strategy Discovery and Schedule Construction Filip Bártek Karel Chvalovský Martin Suda 58 7 0 19 Mar 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 93 5 0 06 Mar 2024
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 53 5 0 10 Jun 2018
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 58 148 0 19 May 2018
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 102 133 0 28 Sep 2017
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 96 83 0 01 Mar 2017
ENIGMA: Efficient Learning-based Inference Guiding Machine Jan Jakubuv Josef Urban 68 94 0 23 Jan 2017
BliStrTune: Hierarchical Invention of Theorem Proving Strategies Jan Jakubuv Josef Urban 81 25 0 26 Nov 2016