@Misc{            Kaliszyk:2018aa,
  Author        = "Kaliszyk, Cezary",
  date-added    = "2018-10-22 10:00:43 +0000",
  date-modified = "2018-10-22 10:01:08 +0000",
  Title         = "Machine Learning for Theorem Proving",
  Year          = "2018"
}

@Misc{ Kaliszyk:2018aa, Author = "Kaliszyk, Cezary", date-added = "2018-10-22 10:00:43 +0000", date-modified = "2018-10-22 10:01:08 +0000", Title = "Machine Learning for Theorem Proving", Year = "2018" }