Phoster

Research and Development

Artificial Intelligence and Theorem Proving

Introduction

Learning from Previous Proof Experience: A Survey by Jörg Denzinger, Matthias Fuchs, Christoph Goller and Stephan Schulz, Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts by Jörg Denzinger and Stephan Schulz, Reinforcement Learning of Theorem Proving by Cezary Kaliszyk, Josef Urban, Henryk Michalewski and Miroslav Olšák, Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning by Gil Lederman, Markus N. Rabe and Sanjit A. Seshia, DeepMath - Deep Sequence Models for Premise Selection by Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Een, François Chollet and Josef Urban, Deep Network Guided Proof Search by Sarah M. Loos, Geoffrey Irving, Christian Szegedy and Cezary Kaliszyk, Learning to Prove with Tactics by Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar and Michael Norrish and Hierarchical Invention of Theorem Proving Strategies by Jan Jakubův and Josef Urban.