RG
Robert George
cs.LGcs.AIcs.NAmath.NAcs.LOcs.PLmath.APcs.MS
On Valency
published · living versionsW_sp6hm735·v1 · currentpublished
PersonaChatBench: Evaluating Chat Assistants with Diverse Simulated Users
with Zheyuan Deng, Taoran Li, Jingwen Zhang, Yuante Li +26
1 version
Preprints & journals
13 papers in the corpus · 2022–2026L3M: A Verifiable Harness and Runtime for Self-Extending and Self-Improving Agents2610.19591v1 · Carson Eisenach, Robert Joseph George, Vincent Quenneville-Belair et al.2026 · 0 citationsarXiv
FloatLib: Verified Floating-Point Arithmetic in Lean2609.19352v1 · Robert Joseph George, Will Adkisson, Anima Anandkumar2026 · 0 citationsarXiv
Stability Framework for the Singularity of the Euler Equations on 2609.10860v2 · Valentin Duruisseaux, Adarsh Ganeshram, Robert J. George et al.2026 · 0 citationsarXiv
TorchLean: Formalizing Neural Networks in Lean2602.22631v2 · Robert Joseph George, Jennifer Cruden, Will Adkisson et al.2026 · 1 citationarXiv
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs2602.20629v3 · Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye et al.2026 · 0 citationsarXiv
BRIDGE: Building Representations In Domain Guided Program Synthesis2511.21104v4 · Robert Joseph George, Carson Eisenach, Udaya Ghai et al.2025 · 0 citationsarXiv
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction2502.17925v3 · Robert Joseph George, Suozhi Huang, Peiyang Song et al.2025 · 0 citationsarXiv
TensorGRaD: Tensor Gradient Robust Decomposition for Memory-Efficient Neural Operator Training2501.02379v2 · Sebastian Loeschcke, David Pitt, Robert Joseph George et al.2025 · 0 citationsarXiv
A Library for Learning Neural Operators2412.10354v5 · Jean Kossaifi, Nikola Kovachki, Zongyi Li et al.2024 · 6 citationsarXiv
LeanAgent: Lifelong Learning for Formal Theorem Proving2410.06209v8 · Adarsh Kumarappan, Mo Tiwari, Peiyang Song et al.2024 · 2 citationsarXiv
Hybrid Dealiased Convolutions2306.10016v1 · Robert Joseph George, Noel Murasko, John C. Bowman2023 · 0 citationsarXiv
Incremental Spatial and Spectral Learning of Neural Operators for Solving Large-Scale PDEs2211.15188v4 · Robert Joseph George, Jiawei Zhao, Jean Kossaifi et al.2022 · 4 citationsarXiv
Numerical Analysis for Real-time Nonlinear Model Predictive Control of Ethanol Steam Reformers2210.13745v3 · Robert Joseph George, Xinwei Yu2022 · 0 citationsarXiv
Career total: 15 works. 13 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.