Robert Joseph George is a PhD student at Caltech advised by Anima Anandkumar. His research spans AI for mathematics, AI for science, and formal verification, with a focus on theorem prover based infrastructure for trustworthy machine learning and mathematical reasoning. He previously graduated from the University of Alberta with an Honours degree in Applied Mathematics and Computer Science.