--- title: "Emily First — author profile and papers — Elamur Research" description: "Emily First, Rutgers, The State University of New Jersey: 2 papers on Elamur Research (2022–2023), h-index 6 — affiliations, topics…" canonical: "https://research.elamur.ai/free/en/authors/emily-first/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/emily-first/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Emily First # Emily First Emily First has 2 papers in our library, in 2022–2023; often with [Talia Ringer](https://md.research.elamur.ai/free/en/authors/talia-ringer/), [Yuriy Brun](https://md.research.elamur.ai/free/en/authors/yuriy-brun/), [Alex Sanchez-Stern](https://md.research.elamur.ai/free/en/authors/alex-sanchez-stern/). 2 papers in our library · 2022–2023 [OpenAlex](https://openalex.org/A5102852428) · [ORCID](https://orcid.org/0000-0002-2896-2928) · [Wikidata](https://www.wikidata.org/wiki/Q130839454) · [**h-index 6**](https://openalex.org/authors/A5102852428) · [15 works](https://openalex.org/works?filter=author.id:A5102852428) · [228 citations](https://openalex.org/works?filter=author.id:A5102852428&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/emily-first/#papers) · [🔗 Cited 90 times in our library](https://md.research.elamur.ai/free/en/authors/emily-first/cited-by/) · [⭐ Paper Stars ranking: #6615](https://md.research.elamur.ai/free/en/paper-stars/page/67/#star-6615) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Emily+First) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Emily+First) · [dblp](https://dblp.org/search?q=Emily+First) · [ACL Anthology](https://aclanthology.org/search/?q=Emily+First) ## Affiliations [🎓**Rutgers, The State University of New Jersey** New Brunswick · United States 2026 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/rutgers-the-state-university-of-new-jersey/) · [🎓**University of Massachusetts Amherst** Amherst Center · United States 2020–2023 · 8 papers](https://md.research.elamur.ai/free/en/universities/university-of-massachusetts-amherst/) · [🎓**University of California San Diego** San Diego · United States 2023–2025 · 6 papers](https://md.research.elamur.ai/free/en/universities/university-of-california-san-diego/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 4 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Software · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) ## Works by year ### 2020s [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/emily-first/year/2023/) · [**2022** 1 paper](https://md.research.elamur.ai/free/en/authors/emily-first/year/2022/) ## Papers The most cited first (OpenAlex and our library). 1. **[Baldur: Whole-Proof Generation and Repair with Large Language Models](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/)** *(2023 · 175 citations)* Writing machine-checked proofs for software verification is very costly. Earlier neural provers reduce this by predicting one tactic at a time and searching over proof states, which requires constant back-and-forth between a GPU-hosted model and a CPU-bound proof assistant. Baldur takes a simpler route. It fine-tunes… 2. **[Passport: Improving Automated Formal Verification Using Identifiers](https://md.research.elamur.ai/free/en/papers/stern-2022-passport-improving-automated-formal-verification/)** *(2022 · 35 citations)* Machine-learning proof-synthesis tools for the Coq proof assistant learn from existing proof corpora to suggest proof scripts. ## Co-authors here 4 co-authors with a page, the most papers together first. - [Talia Ringer](https://md.research.elamur.ai/free/en/authors/talia-ringer/) ×2 - [Yuriy Brun](https://md.research.elamur.ai/free/en/authors/yuriy-brun/) ×2 - [Alex Sanchez-Stern](https://md.research.elamur.ai/free/en/authors/alex-sanchez-stern/) - [Markus N. Rabe](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/) ## Cited by Papers of our library cite their works 90 times (of the 149,439 papers whose bibliographies we read); [47 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/emily-first/cited-by/). Updated 3 November 2026