Communities for your favorite technologies. Explore all Collectives
Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams
Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Get early access and see previews of new features.
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.