Directed Graph Networks for Logical Entailment

EasyChair Preprint 2185, version history

VersionDatePagesVersion notes
1
December 17, 2019
9
2
February 22, 2020
10

New results on first-order logic.

3
May 14, 2020
10

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

4
May 22, 2020
10

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

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

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