Note: For the complete and most up-to-date list of papers, see my Google Scholar .
All Preprints Conference Workshops Journal AI4Math AI4Science
ICML AI4Math 2026 Spotlight
TorchLean: Formalizing Neural Networks in Lean Robert Joseph George , Jennifer Cruden, Will Adkisson, Xiangru Zhong, Huan Zhang, and Anima Anandkumar.
AI4Math Lean
ICML AI4Math 2026 Poster
BRIDGE: Building Representations in Domain-Guided Verified Program Synthesis Robert Joseph George , Carson Eisenach, Udaya Ghai, Dominique Perrault-Joncas, Anima Anandkumar, and Dean Foster.
AI4Math Program synthesis
ICML AI4Math 2026 Poster
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers Jiayi Wu, Robert Joseph George , and Anima Anandkumar.
AI4Math Benchmarking Formalization
Preprint 2024
A library for learning neural operators Jean Kossaifi, Nikola Kovachki, Zongyi Li, David Pitt, Miguel Liu-Schiaffini, Robert Joseph George , Boris Bonev, Kamyar Azizzadenesheli, Julius Berner, Valentin Duruisseaux, and Anima Anandkumar.
AI4Science
TMLR 2025
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction George, Robert Joseph , Suozhi Huang, Anima Anandkumar et al.
AI4Math Theorem proving
ICLR 2025
LeanAgent: Lifelong Learning for Formal Theorem Proving Kumarappan, Adarsh, George, Robert Joseph , Anima Anandkumar et al.
AI4Math Theorem proving
NeurIPS 2024
Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs Rahman, Md Ashiqur, George, Robert Joseph , Anima Anandkumar et al.
AI4Science
TMLR 2024
Incremental Spatial and Spectral Learning of Neural Operators for Solving Large-Scale PDEs George, Robert Joseph , Jiawei Zhao, Jean Kossaifi, Zongyi Li, and Anima Anandkumar.
AI4Science
ICLR Tiny Paper 2023
EDCDE - Extended Discovery of Closed-Form Differential Equations George, Robert Joseph .
AI4Science Symbolic discovery
NeurIPS ML4PS 2025
Fourier Neural Operators for Fast Simulation and Inverse Design of Second-Harmonic Generation in Nanophotonics Valentin Duruisseaux, Robert M. Gray, George, Robert Joseph , Anima Anandkumar et al.
AI4Science
NeurIPS MATH-AI 2025
LeanDojo-v2: A Comprehensive Library for AI-Assisted Theorem Proving in Lean Ryan Hsiang, Will Adkisson, George, Robert Joseph , and Anima Anandkumar.
AI4Math Lean
NeurIPS MATH-AI 2025
Mathematical Discovery and Formalization Towards the AC Conjecture Caroline Zhang, Aaron Zhao, George, Robert Joseph , Sergei Gukov, and Anima Anandkumar.
AI4Math Formalization
NeurIPS OPT 2024
Tensor-GaLore: Memory-Efficient Training via Gradient Tensor Decomposition George, Robert Joseph , David Pitt, Anima Anandkumar et al.
Optimization AI4Science
NeurIPS AI4Science 2022
Incremental Fourier Neural Operator Jiawei Zhao, George, Robert Joseph , Yifei Zhang, Zongyi Li, and Anima Anandkumar.
AI4Science
Amii Reverse Expo 2022
Making Reinforcement Learning Experiments More Reproducible and Computationally Efficient George, Robert Joseph , Martha White, Adam White, and Samuel Neumann.
Reinforcement learning Reproducibility
JMM 2023
Hybrid Dealiased Convolutions George, Robert Joseph , Noel Murasko, and John Bowman.
Undergraduate thesis Scientific computing
CUMC 2022
Numerical Analysis for real-time Nonlinear Model Predictive Control of Ethanol Steam Reformers George, Robert Joseph , and Xinwei Yu.
Undergraduate thesis Scientific computing