George, Robert Joseph

6 publications

ICLR 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar
TMLR 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar
ICLRW 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar
TMLR 2024 Incremental Spatial and Spectral Learning of Neural Operators for Solving Large-Scale PDEs Robert Joseph George, Jiawei Zhao, Jean Kossaifi, Zongyi Li, Anima Anandkumar
NeurIPS 2024 Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs Md Ashiqur Rahman, Robert Joseph George, Mogab Elleithy, Daniel Leibovici, Zongyi Li, Boris Bonev, Colin White, Julius Berner, Raymond A. Yeh, Jean Kossaifi, Kamyar Azizzadenesheli, Anima Anandkumar
NeurIPSW 2024 Tensor-GaLore: Memory-Efficient Training via Gradient Tensor Decomposition Robert Joseph George, David Pitt, Jiawei Zhao, Jean Kossaifi, Cheng Luo, Yuandong Tian, Anima Anandkumar