--- title: "Yuriy Brun — author profile and papers — Elamur Research" description: "Yuriy Brun, University of Massachusetts Amherst: 2 papers on Elamur Research (2022–2023), h-index 43 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/yuriy-brun/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yuriy-brun/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Yuriy Brun # Yuriy Brun Yuriy Brun has 2 papers in our library, in 2022–2023; often with [Emily First](https://md.research.elamur.ai/free/en/authors/emily-first/), [Talia Ringer](https://md.research.elamur.ai/free/en/authors/talia-ringer/), [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/A5028789964) · [ORCID](https://orcid.org/0000-0003-3027-7986) · [Wikidata](https://www.wikidata.org/wiki/Q59546102) · [**h-index 43**](https://openalex.org/authors/A5028789964) · [165 works](https://openalex.org/works?filter=author.id:A5028789964) · [8,204 citations](https://openalex.org/works?filter=author.id:A5028789964&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/yuriy-brun/#papers) · [🔗 Cited 90 times in our library](https://md.research.elamur.ai/free/en/authors/yuriy-brun/cited-by/) · [⭐ Paper Stars ranking: #6619](https://md.research.elamur.ai/free/en/paper-stars/page/67/#star-6619) 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=Yuriy+Brun) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Yuriy+Brun) · [dblp](https://dblp.org/search?q=Yuriy+Brun) · [ACL Anthology](https://aclanthology.org/search/?q=Yuriy+Brun) ## Affiliations [🎓**University of Massachusetts Amherst** Amherst Center · United States 2012–2026 · 89 papersEmployment 2012–2017 · Assistant Professor, College of Information and Computer SciencesEmployment 2017–2021 · Associate Professor, College of Information and Computer SciencesEmployment since 2021 · Professor, Manning College of Information and Computer Sciences*current*](https://md.research.elamur.ai/free/en/universities/university-of-massachusetts-amherst/) · [🎓**University of Washington** Seattle · United States 2009–2015 · 25 papersEmployment 2009–2012 · NSF CRA Postdoctoral Computing Innovation Fellow, Computer Science & Engineering](https://md.research.elamur.ai/free/en/universities/university-of-washington/) · [🎓**University of Southern California** Los Angeles · United States 2004–2011 · 24 papersEducation until 2008 · PhD, Computer Science Department](https://md.research.elamur.ai/free/en/universities/university-of-southern-california/) · [🎓**Massachusetts Institute of Technology** Cambridge · United States 2003Education until 2003 · MEng, Electrical Engineering and Computer ScienceEducation until 2003 · BS, MathematicsEducation until 2003 · BS, Electrical Engineering and Computer Science](https://md.research.elamur.ai/free/en/universities/massachusetts-institute-of-technology/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 4 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/yuriy-brun/year/2023/) · [**2022** 1 paper](https://md.research.elamur.ai/free/en/authors/yuriy-brun/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. - [Emily First](https://md.research.elamur.ai/free/en/authors/emily-first/) ×2 - [Talia Ringer](https://md.research.elamur.ai/free/en/authors/talia-ringer/) ×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/yuriy-brun/cited-by/). Updated 3 November 2026