@InProceedings{   yang2019coqgym,
  Author        = "Yang, Kaiyu and Deng, Jia",
  BookTitle     = "International Conference on Machine Learning",
  date-added    = "2020-03-24 19:03:08 +0100",
  date-modified = "2020-03-24 19:03:08 +0100",
  Title         = "Learning to Prove Theorems via Interacting with Proof Assistants",
  Year          = "2019",
  File          = "Learning to Prove Theorems via Interacting with Proof Assistants - 1905.09381 - a - a - a - q.pdf"
}

@InProceedings{ yang2019coqgym, Author = "Yang, Kaiyu and Deng, Jia", BookTitle = "International Conference on Machine Learning", date-added = "2020-03-24 19:03:08 +0100", date-modified = "2020-03-24 19:03:08 +0100", Title = "Learning to Prove Theorems via Interacting with Proof Assistants", Year = "2019", File = "Learning to Prove Theorems via Interacting with Proof Assistants - 1905.09381 - a - a - a - q.pdf" }