[
  {
    "Percentage correct": 21.1,
    "code_links": [],
    "date": "2020-01-01",
    "date2": 20200101,
    "model": "MetaGen-IL + Holophrasm ('19)",
    "paper": {
      "title": "Learning to Prove Theorems by Learning to Generate Theorems",
      "url": "https://cknow.io/lib/41dd5335a34703af"
    },
    "paper_data_uoa": "41dd5335a34703af"
  },
  {
    "Percentage correct": 19.82,
    "code_links": [],
    "date": "2020-01-01",
    "date2": 20200101,
    "model": "Holophrasm ('19)",
    "paper": {
      "title": "Learning to Prove Theorems by Learning to Generate Theorems",
      "url": "https://cknow.io/lib/41dd5335a34703af"
    },
    "paper_data_uoa": "41dd5335a34703af"
  },
  {
    "Percentage correct": 14.26,
    "code_links": [
      {
        "title": "dwhalen/holophrasm",
        "url": "https://github.com/dwhalen/holophrasm"
      },
      {
        "title": "giomasce/mmpp",
        "url": "https://github.com/giomasce/mmpp"
      },
      {
        "title": "justin941208/SPIA-Project",
        "url": "https://github.com/justin941208/SPIA-Project"
      }
    ],
    "date": "2016-08-08",
    "date2": 20160808,
    "model": "Holophrasm ('16)",
    "paper": {
      "title": "Holophrasm: a neural Automated Theorem Prover for higher-order logic",
      "url": "https://cknow.io/lib/b36ce3d4a6374827"
    },
    "paper_data_uoa": "b36ce3d4a6374827"
  }
]