Robert Joseph George

Research Scientist Intern, Amazon

Los Angeles

Research Scientist Intern at Amazon. Focused on AI4Math and theorem proving.

Skills and tags: Reinforcement Learning, Formal Verification, Neural Operators

• Google Scholar: https://scholar.google.com/robert-joseph
• GitHub: https://github.com/Robertboy18 — Robertboy18 specializes in Python, Jupyter Notebook and Lean projects, focusing on demos and educational resources. A notable open-source project is Theoretical-Algorithms-Implementation, CLRS(Introduction to Algorith...