Robert Joseph George

16 papers A* 2Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.
CoRR
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
2026 J jnl
TorchLean: Formalizing Neural Networks in Lean.
CoRR
Robert Joseph George, Jennifer Cruden, Xiangru Zhong, Huan Zhang, Anima Anandkumar
2025 J jnl
BRIDGE: Building Representations In Domain Guided Program Verification.
CoRR
Robert Joseph George, Carson Eisenach, Udaya Ghai, Dominique Perrault-Joncas, Anima Anandkumar, Dean P. Foster
2025 A* conf
LeanAgent: Lifelong Learning for Formal Theorem Proving.
ICLR
Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar
2025 J jnl
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction.
CoRR
Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar
2025 J jnl
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction.
Trans. Mach. Learn. Res.
Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar
2025 J jnl
Tensor-GaLore: Memory-Efficient Training via Gradient Tensor Decomposition.
CoRR
Robert Joseph George, David Pitt, Jiawei Zhao, Jean Kossaifi, Cheng Luo, Yuandong Tian, Anima Anandkumar
2024 J jnl
A Library for Learning Neural Operators.
CoRR
Jean Kossaifi, Nikola B. Kovachki, Zongyi Li, David Pitt, Miguel Liu-Schiaffini, Robert Joseph George, Boris Bonev, Kamyar Azizzadenesheli, Julius Berner, Anima Anandkumar
2024 J jnl
Incremental Spatial and Spectral Learning of Neural Operators for Solving Large-Scale PDEs.
Trans. Mach. Learn. Res.
Robert Joseph George, Jiawei Zhao, Jean Kossaifi, Zongyi Li, Anima Anandkumar
2024 J jnl
LeanAgent: Lifelong Learning for Formal Theorem Proving.
CoRR
Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar
2024 A* conf
Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs.
NeurIPS
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
2024 J jnl
Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs.
CoRR
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
2023 — conf
EDCDE - Extended Discovery of Closed-Form Differential Equations.
Tiny Papers @ ICLR
Robert Joseph George
2023 J jnl
Hybrid Dealiased Convolutions.
CoRR
Robert Joseph George, Noel Murasko, John C. Bowman
2022 J jnl
Incremental Fourier Neural Operator.
CoRR
Jiawei Zhao, Robert Joseph George, Yifei Zhang, Zongyi Li, Anima Anandkumar
2022 J jnl
Numerical Analysis for Real-time Nonlinear Model Predictive Control of Ethanol Steam Reformers.
CoRR
Robert Joseph George, Xinwei Yu