[
  {
    "Percentage correct": 12.2,
    "code_links": [
      {
        "title": "princeton-vl/CoqGym",
        "url": "https://github.com/princeton-vl/CoqGym"
      }
    ],
    "date": "2019-05-21",
    "date2": 20190521,
    "model": "ASTactic",
    "paper": {
      "title": "Learning to Prove Theorems via Interacting with Proof Assistants",
      "url": "https://cknow.io/lib/4659a8fbcc0e8762"
    },
    "paper_data_uoa": "4659a8fbcc0e8762"
  }
]