Learning to Prove from Synthetic Theorems

A major challenge in applying machine learning to automated theorem proving is the scarcity of training data, which is a key ingredient in training successful deep learning models. To tackle this problem, we propose an approach that relies on training with synthetic theorems, generated from a set of...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Aygün, Eser, Ahmed, Zafarali, Anand, Ankit, Firoiu, Vlad, Glorot, Xavier, Orseau, Laurent, Precup, Doina, Mourad, Shibl
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Learning Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!