549
reputation
1
3
6
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.
0
answers
1
question
~15k
people reached
-
Miami, FL, USA
-
Member for 1 year, 11 months
-
85 profile views
-
Last seen Mar 24 at 17:16
Communities (28)
Top network posts
Badges (10)
Gold
1
Rarest
-
Oct 22
Silver
3
Rarest
-
Oct 14
-
Sep 15
-
Sep 15
Bronze
6
Rarest
-
Sep 16
-
Sep 15
-
Sep 15
