Robert Joseph

I am currently a Research Intern at Amazon in NYC with the RL Team and a 3rd-year Ph.D. student in Math & CS at Caltech, advised by Professor Anima Anandkumar, leading our lab's AI4Math effort. My research is on AI for Math, Science, Code, and formal verification. I am gratefully supported by the Caltech Graduate Fellowship, Harmonic AI, and DARPA expMath.

Previously, I graduated from the University of Alberta in Honors Math & Computer Science with the Dean's Silver Medal in Science. I worked on reinforcement learning at the RLAI Lab, led by Professor Richard Sutton, with Professor Martha White and Adam White, and did internships and research with Google AI, Amii, Microsoft Research, PIMS, and AMI.

I am also interested in giving back to the community by teaching and mentoring students and sharing my love for AI4Science & Math. I previously co-led the ML Theory Reading Group at Cohere for AI. Feel free to contact me if any of these interests align with your research or if you have any questions. I am always open to new collaborations.