Note: For the complete and most up-to-date list of papers, see my Google Scholar .
All Preprints Conference Workshops Journal AI4Math AI4Science
Preprint 2026
FloatLib: Verified Floating-Point Arithmetic in Lean Robert Joseph George , Will Adkisson, and Anima Anandkumar.
AI4Science Lean Floating point
Preprint 2026
Stability Framework for the Singularity of the Euler Equations on R3 Valentin Duruisseaux, Adarsh Ganeshram, Robert J. George , and Anima Anandkumar.
AI4Science PDEs Scientific computing
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 AI4Physics 2026
QuantumLean-Bench: A Unified Benchmark for Informal and Formal Quantum Reasoning Isha Goswami, Anushka Paulchoudhury, Robert Joseph George , and Anima Anandkumar.
AI4Math AI4Science Lean
ICML AI4Math 2026 Poster
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers Jiayi Wu, Robert Joseph George , and Anima Anandkumar.
AI4Math Benchmarking Formalization
JMLR 2026
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 TFLN Waveguides Valentin Duruisseaux, Robert M. Gray, Shixuan Jiang, Shihui Zhou, Robert Joseph George , Kambiz A. A. Marandi, and Anima Anandkumar.
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
AI-Driven Mathematical Discovery for the Andrews-Curtis Conjecture Caroline Zhang, Aaron Zhou, Robert Joseph George , 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