George Granberry

Identifiers

• name variant George Granberry 0.60 · backfill

Papers (1)

1. Lemmanaid: Neuro-Symbolic Lemma Conjecturing cs.AI · 2025 · author #3

Mentions

• 2504.04942 #3 · arxiv_oai · confidence 0.70 George Granberry

Frequent Coauthors

• Emily First 1 shared papers
• Moa Johansson 1 shared papers
• Nicholas Smallbone 1 shared papers
• S\'olr\'un Halla Einarsd\'ottir 1 shared papers
• Sorin Lerner 1 shared papers
• Yousef Alhessi 1 shared papers