Generative Language Modeling for Automated Theorem Proving

Stanislas Polu, Ilya Sutskever

We explore the application of transformer-based language models to automated theorem proving. This work is motivated by the possibility that a major limitation of automated theorem…