Robert Joseph George

According to our database, Robert Joseph George authored at least 10 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction.

Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar

CoRR, February, 2025

Tensor-GaLore: Memory-Efficient Training via Gradient Tensor Decomposition.

Robert Joseph George, David Pitt, Jiawei Zhao, Jean Kossaifi, Cheng Luo, Yuandong Tian, Anima Anandkumar

CoRR, January, 2025

LeanAgent: Lifelong Learning for Formal Theorem Proving.

Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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

Trans. Mach. Learn. Res., 2024

A Library for Learning Neural Operators.

Jean Kossaifi, Nikola B. Kovachki, Zongyi Li, David Pitt, Miguel Liu-Schiaffini, Robert Joseph George, Boris Bonev, Kamyar Azizzadenesheli, Julius Berner, Anima Anandkumar

CoRR, 2024

Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs.

Md. Ashiqur Rahman, Robert Joseph George, Mogab Elleithy, Daniel V. Leibovici, Zongyi Li, Boris Bonev, Colin White, Julius Berner, Raymond A. Yeh, Jean Kossaifi, Kamyar Azizzadenesheli, Animashree Anandkumar

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Hybrid Dealiased Convolutions.

Robert Joseph George, Noel Murasko, John C. Bowman

CoRR, 2023

EDCDE - Extended Discovery of Closed-Form Differential Equations.

Robert Joseph George

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

2022

Incremental Fourier Neural Operator.

Jiawei Zhao, Robert Joseph George, Yifei Zhang, Zongyi Li, Anima Anandkumar

CoRR, 2022

Numerical Analysis for Real-time Nonlinear Model Predictive Control of Ethanol Steam Reformers.

Robert Joseph George, Xinwei Yu

CoRR, 2022