Yousef Alhessi

Identifiers

• name variant Yousef Alhessi 0.60 · backfill

Papers (1)

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

Mentions

• 2504.04942 #1 · arxiv_oai · confidence 0.70 Yousef Alhessi

Frequent Coauthors

• Emily First 1 shared papers
• George Granberry 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