[
  {
    "Classification Accuracy": 0.916,
    "code_links": [],
    "date": "2019-11-15",
    "date2": 20191115,
    "model": "MPNN-DagLSTM",
    "paper": {
      "title": "Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling",
      "url": "https://cknow.io/lib/b2019f400749e3a1"
    },
    "paper_data_uoa": "b2019f400749e3a1"
  },
  {
    "Classification Accuracy": 0.903,
    "code_links": [],
    "date": "2017-09-28",
    "date2": 20170928,
    "model": "FormulaNet",
    "paper": {
      "title": "Premise Selection for Theorem Proving by Deep Graph Embedding",
      "url": "https://cknow.io/lib/54c23727c94026a0"
    },
    "paper_data_uoa": "54c23727c94026a0"
  },
  {
    "Classification Accuracy": 0.891,
    "code_links": [],
    "date": "2017-09-28",
    "date2": 20170928,
    "model": "FormulaNet-basic",
    "paper": {
      "title": "Premise Selection for Theorem Proving by Deep Graph Embedding",
      "url": "https://cknow.io/lib/54c23727c94026a0"
    },
    "paper_data_uoa": "54c23727c94026a0"
  },
  {
    "Classification Accuracy": 0.83,
    "code_links": [
      {
        "title": "tensorflow/deepmath",
        "url": "https://github.com/tensorflow/deepmath/tree/master/deepmath/holstep_baselines"
      }
    ],
    "date": "2017-03-01",
    "date2": 20170301,
    "model": "Siamese 1D CNN-LSTM",
    "paper": {
      "title": "HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving",
      "url": "https://cknow.io/lib/1a5d08ed5aed1793"
    },
    "paper_data_uoa": "1a5d08ed5aed1793"
  },
  {
    "Classification Accuracy": 0.82,
    "code_links": [
      {
        "title": "tensorflow/deepmath",
        "url": "https://github.com/tensorflow/deepmath/tree/master/deepmath/holstep_baselines"
      }
    ],
    "date": "2017-03-01",
    "date2": 20170301,
    "model": "Siamese 1D CNN",
    "paper": {
      "title": "HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving",
      "url": "https://cknow.io/lib/1a5d08ed5aed1793"
    },
    "paper_data_uoa": "1a5d08ed5aed1793"
  }
]