Robert Joseph George

Identifiers

• name variant Robert Joseph George 0.60 · backfill

Papers (2)

1. TorchLean: Formalizing Neural Networks in Lean cs.MS · 2026 · author #1
2. BRIDGE: Building Representations In Domain Guided Program Synthesis cs.LG · 2025 · author #1

Mentions

• 2602.22631 #1 · arxiv_oai · confidence 0.70 Robert Joseph George

Frequent Coauthors

• Anima Anandkumar 2 shared papers
• Carson Eisenach 1 shared papers
• Dean Foster 1 shared papers
• Dominique Perrault-Joncas 1 shared papers
• Huan Zhang 1 shared papers
• Jennifer Cruden 1 shared papers
• Udaya Ghai 1 shared papers
• Will Adkisson 1 shared papers
• Xiangru Zhong 1 shared papers