S\'olr\'un Halla Einarsd\'ottir

Identifiers

• name variant S\'olr\'un Halla Einarsd\'ottir 0.60 · backfill

Papers (1)

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

Mentions

• 2504.04942 #2 · arxiv_oai · confidence 0.70 S\'olr\'un Halla Einarsd\'ottir

Frequent Coauthors

• Emily First 1 shared papers
• George Granberry 1 shared papers
• Moa Johansson 1 shared papers
• Nicholas Smallbone 1 shared papers
• Sorin Lerner 1 shared papers
• Yousef Alhessi 1 shared papers