Download PDFOpen PDF in browserCurrent version

Directed Graph Networks for Logical Entailment

EasyChair Preprint no. 2185, version 2

Versions: 1234history
10 pagesDate: February 22, 2020


We introduce a novel neural model for detecting propositional entailment, a benchmark task for learning on logical structures, based upon learned graph convolutions on directed syntax graphs. The model removes some inflexible inductive bias found in previous work on this domain, while producing competitive results on the benchmark datasets. Model performance on larger problems surpasses all previous work. We also introduce a similar first-order learning problem and show good performance of the same model on this task. Such models have many applications for learned guidance of first-order theorem provers.

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}}
Download PDFOpen PDF in browserCurrent version