Generative Language Modeling for Automated Theorem Proving

A limited preview of the context Palate can cite when answering questions from Trevor McFedries.