Robert Joseph
Ph.D. Math & CS, California Institute of Technology (Sep 2023 - Present)
B.Sc Honors Math & CS, First Class, University of Alberta (Sep 2019 - May 2023)
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, and Code. 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 with Professor Martha White and Adam White, and did internships and research with Google AI, Amii, Microsoft Research, PIMS, and AMI.
I also am interested in giving back to the community by teaching and mentoring students and sharing my love for AI4Science & Math. Used to co-lead 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.
Email: rgeorge (at) caltech (dot) edu | Twitter: @Robertljg | LinkedIn: Robertj | Github: @Robertboy18 | Academic: CV
Latest News
- April 2026 - Won the Harmonic AI Fellowship with my advisor for verification of scientific computing.
- March 2026 - Grateful to have won the AI+Math DARPA fund with my advisor and Sergei Gukov.
- February 2026 - We released two papers: TorchLean: Formalizing Neural Networks in Lean and BRIDGE: Building Representations In Domain Guided Program Verification.
- December 2025 - Presented two papers at the AI4Math workshop at NeurIPS.
- November 2025 - Presented my work on Program Verification at the AI4Science Conference at Caltech.
- October 2025 - Presented my work on Neural Operators at the Inaugral AI Research Symposium at Jump Trading in NYC.
- October 2025 - Attended the Formal Methods x AI Workshop at SRI International and Stanford.
- September 2025 - Gave a talk at Amazon on my final internship project, Program Verification using Lean.
- May 2025 - Invited to attend the Algorithmic stability: Mathematical foundations for the modern era Workshop at the American Institute of Mathematics, Caltech.
- April 2025 - Gave a talk at the Autoformalization for the Working Mathematician workshop at ICERM, Brown University. Slides+Video