Generative language modeling for automated theorem proving

Read on openai.com