[thomasahle]

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