Training a First-Order Theorem Prover from Synthetic Data

Vlad Firoiu, Eser Aygun, Ankit Anand +6

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