Sep 09, 2020

Actually OpenAI just published an article about using Transformer for theorem proving: https://arxiv.org/abs/2009.03393