My name is John (Jack) McKeown. I am currently a computer science Ph.D. student at the University of Miami. I am interested in Machine Learning theory and my current research involves applications of Machine Learning to Automated Theorem Proving.