Robert Joseph George

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

Collaborative distances:

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

2026

TorchLean: Formalizing Neural Networks in Lean.

Robert Joseph George, Jennifer Cruden, Xiangru Zhong, Huan Zhang, Anima Anandkumar

CoRR, February, 2026

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.

Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, Ruslans Aleksejevs, Todor Antic, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta, Stefano Huber, Annika Kanckos, Minjung Kang, Hyun Jong Kim, Dino Lorenzini, Levi Lorenzo, Tianyi Mao, Giovanni Marzenta, Ariane M. Masuda, Lukas Mauth, Ana Mickovic, Andres Miniguano-Trujillo, Antoine Moulin, Wenqi Ni, Tomos Parry, Kevin Ren, Hossein Roodbarani, Mathieu Rundström, Manjil Saikia, Detchat Samart, Rebecca Steiner, Connor Stewart, Dhara Thakkar, Jeffrey Tse, Vasiliki Velona, Yunhai Xiang, Sibel Yalçin, Jun Yan, Ji Zeng, Arman Cohan, Quanquan C. Liu

CoRR, February, 2026

2025

BRIDGE: Building Representations In Domain Guided Program Verification.

Robert Joseph George, Carson Eisenach, Udaya Ghai, Dominique Perrault-Joncas, Anima Anandkumar, Dean P. Foster

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

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

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

Trans. Mach. Learn. Res., 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 37: 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