[
  {
    "Percentage correct": 15.77,
    "code_links": [
      {
        "title": "UCSD-PL/proverbot9001",
        "url": "https://github.com/UCSD-PL/proverbot9001"
      }
    ],
    "date": "2019-07-17",
    "date2": 20190717,
    "model": "ProverBot9001",
    "paper": {
      "title": "Generating Correctness Proofs with Neural Networks",
      "url": "https://cknow.io/lib/4bc39cfe233fa4ca"
    },
    "paper_data_uoa": "4bc39cfe233fa4ca"
  },
  {
    "Percentage correct": 4.99,
    "code_links": [
      {
        "title": "UCSD-PL/proverbot9001",
        "url": "https://github.com/UCSD-PL/proverbot9001"
      }
    ],
    "date": "2019-07-17",
    "date2": 20190717,
    "model": "CoqGym/ASTactic",
    "paper": {
      "title": "Generating Correctness Proofs with Neural Networks",
      "url": "https://cknow.io/lib/4bc39cfe233fa4ca"
    },
    "paper_data_uoa": "4bc39cfe233fa4ca"
  }
]