Directed Graph Networks for Logical Entailment

EasyChair Preprint 2185, version history

Version	Date	Pages	Version 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}}