For an updated list of my research, see my Google Scholar page.
Preprints
Suozhi Huang, George, Robert Joseph, Anima Anandkumar et al. “ LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction”, under review, 2025. [Paper]
Kossaifi, Jean, George, Robert Joseph, Anima Anandkumar et al. “A library for learning neural operators.” under review, 2024. [Paper]
Conference Proceedings
Kumarappan, Adarsh, George, Robert Joseph, Anima Anandkumar et al. “LeanAgent: Lifelong Learning for Formal Theorem Proving”, ICLR, 2025. [Paper]
Rahman, Md Ashiqur, George, Robert Joseph, Anima Anandkumar et al. “Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs.” NeurIPS, 2024. [Paper], [Codebase]
George, Robert Joseph, Jiawei Zhao, Jean Kossafii, Zongyi Li and Anima Anandkumar. “Incremental Spatial and Spectral Learning of Neural Operators for Solving Large-Scale PDEs”. TMLR, 2024. [Paper], [Codebase]
George, Robert Joseph. “EDCDE - Extended Discovery of Closed-Form Differential Equations”. ICLR Tiny Paper, 2023. [Paper], [Codebase]
Workshops
George, Robert Joseph, David Pitt, Anima Anandkumar et al. “Tensor-GaLore: Memory-Efficient Training via Gradient Tensor Decomposition”, NeurIPS Optimization for Machine Learning, 2024. [Paper]
Jiawei Zhao, George, Robert Joseph, Yifei Zhang, Zongyi Li and Anima Anandkumar. “Incremental Fourier Neural Operator”. NeurIPS AI4Science, 2022. [Paper], [NeurIPS]
George, Robert Joseph, Martha White, Adam White and Samuel Neumann. “Making Reinforcement Learning Experiments More Reproducible and Computationally Efficient”. Reverse Expo, Alberta Machine Intelligence Institute, 2022. [Poster], [Codebase]
Undergraduate Honors Thesis
George, Robert Joseph, Noel Murasko and John Bowman. “Hybrid Dealiased Convolutions.” Joint Mathematics Meetings, 2023. [Paper], [Poster 1], [Poster 2], [Presentation], [JMM]
George, Robert Joseph, and Xinwei Yu. “Numerical Analysis for real-time Nonlinear Model Predictive Control of Ethanol Steam Reformers”. Canadian Undergraduate Mathematics Conference, 2022. [Presentation], [Paper]