News for hackers. Stuff that matters.

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

Re:Graph Representations for Higher-Order Logic and Theorem ... by Findeton on Sunday September 06, 2020 @11:05AM (#24391816)
It looks like Graph NNs are going places.
[ Parent | on HN ]

There are no comments on this comment yet.