0

Robert Joseph George

Papers
3

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
3papers

Authored papers

3

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

arXiv 2026

2026

LeanAgent: Lifelong Learning for Formal Theorem Proving

arXiv 2024

2024

Pretraining Codomain Attention Neural Operators for Solving Multiphysics PDEs

arXiv 2024

2024

Affiliations

No known affiliations.

Frequent co-authors

10

from 3 papers

Anima Anandkumar

professor

2 shared papers

Adarsh Kumarappan

1 shared paper

Alan Goldfarb

1 shared paper

Alireza Amiri Bavandpour

1 shared paper

Ana Mickovic

1 shared paper

Andres Miniguano-Trujillo

1 shared paper

Annika Kanckos

1 shared paper

Antoine Moulin

1 shared paper

Ariane M. Masuda

1 shared paper

Arman Cohan

1 shared paper