Directed Graph Networks for Logical Entailment

EasyChair Preprint no. 2185, version history

VersionDatePagesVersion notes
1December 17, 20199
2February 22, 202010

New results on first-order logic.

3May 14, 202010

Evaluate on DeepMath premise selection dataset instead, change of emphasis since initial publication.

4May 22, 202010

Further edits to reference previous work. Improved performance from bugfixes.

Keyphrases: automated reasoning, directed acyclic graph, Graph Neural Network, Logical Entailment

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Michael Rawson and Giles Reger},
  title = {Directed Graph Networks for Logical Entailment},
  howpublished = {EasyChair Preprint no. 2185},

  year = {EasyChair, 2020}}