Machine Learner for Automated Reasoning 0.4 and 0.5

v1v2 (latest)

Machine Learner for Automated Reasoning 0.4 and 0.5

11 February 2014

ArXiv (abs)PDF HTML

Papers citing "Machine Learner for Automated Reasoning 0.4 and 0.5"

12 / 12 papers shown

Title
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
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 135 50 0 17 Feb 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 92 51 0 05 Apr 2019
$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 67 148 0 19 May 2018
ENIGMA: Efficient Learning-based Inference Guiding Machine Jan Jakubuv Josef Urban 76 94 0 23 Jan 2017
BliStrTune: Hierarchical Invention of Theorem Proving Strategies Jan Jakubuv Josef Urban 89 25 0 26 Nov 2016
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems Sebastiaan J. C. Joosten C. Kaliszyk Josef Urban LRM 52 6 0 06 Jun 2014
Learning-assisted Theorem Proving with Millions of Lemmas C. Kaliszyk Josef Urban 119 47 0 11 Feb 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 135 135 0 10 Oct 2013
BliStr: The Blind Strategymaker Josef Urban 106 65 0 12 Jan 2013