[
  {
    "Classification Accuracy": 0.9,
    "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.89,
    "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": "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"
  },
  {
    "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": "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"
  }
]