News for hackers. Stuff that matters.

A comment on Graph Representations for Higher-Order Logic and Theorem Proving (2019). Parent comment

Re:Graph Representations for Higher-Order Logic and Theorem ... by thomasahle on Wednesday September 09, 2020 @11:49AM (#24422288)
Actually OpenAI just published an article about using Transformer for theorem proving: https://arxiv.org/abs/2009.03393
[ Parent | on HN ]

There are no comments on this comment yet.