Learning to Prove from Synthetic Theorems

Eser Aygün, Zafarali Ahmed, Ankit Anand +5

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.…