JacKeown
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.
2
answers
11
questions
~18k
people reached
-
Miami, FL, USA
-
Member for 4 years, 7 months
-
45 profile views
-
Last seen Jan 22 at 17:56
Communities (28)
Top network posts
Badges (21)
Gold
1
Rarest
-
Apr 10
Silver
3
Rarest
-
Dec 5 '17
Bronze
17
Rarest
-
Apr 5
-
Nov 19 '18
-
May 20