Robert Joseph George

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

Collaborative distances:

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

2024

LeanAgent: Lifelong Learning for Formal Theorem Proving.

Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, 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, Anima Anandkumar

CoRR, 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