4 ms·
Actually OpenAI just published an article about using Transformer for theorem proving: https://arxiv.org/abs/2009.03393 https://arxiv.org/abs/2009.03393
by thomasahle 6y ago
Actually OpenAI just published an article about using Transformer for theorem proving: https://arxiv.org/abs/2009.03393 https://arxiv.org/abs/2009.03393