--- title: "Talia Ringer — author profile and papers — Elamur Research" description: "Talia Ringer, University of Illinois Urbana-Champaign: 3 papers on Elamur Research (2022–2023), h-index 9 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/talia-ringer/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/talia-ringer/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Talia Ringer # Talia Ringer Talia Ringer has 3 papers in our library, in 2022–2023; often with [Emily First](https://md.research.elamur.ai/free/en/authors/emily-first/), [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/). 3 papers in our library · 2022–2023 [OpenAlex](https://openalex.org/A5078343798) · [ORCID](https://orcid.org/0000-0003-1854-3321) · [Wikidata](https://www.wikidata.org/wiki/Q107026420) · [**h-index 9**](https://openalex.org/authors/A5078343798) · [27 works](https://openalex.org/works?filter=author.id:A5078343798) · [307 citations](https://openalex.org/works?filter=author.id:A5078343798&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/talia-ringer/#papers) · [🔗 Cited 102 times in our library](https://md.research.elamur.ai/free/en/authors/talia-ringer/cited-by/) · [⭐ Paper Stars ranking: #6416](https://md.research.elamur.ai/free/en/paper-stars/page/65/#star-6416) 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=Talia+Ringer) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Talia+Ringer) · [dblp](https://dblp.org/search?q=Talia+Ringer) · [ACL Anthology](https://aclanthology.org/search/?q=Talia+Ringer) ## Affiliations [🎓**University of Illinois Urbana-Champaign** Urbana · United States 2023–2026 · 17 papersEmployment · Assistant Professor*current*](https://md.research.elamur.ai/free/en/universities/university-of-illinois-urbana-champaign/) · [🎓**University of Washington** Seattle · United States 2016–2020 · 7 papersEducation](https://md.research.elamur.ai/free/en/universities/university-of-washington/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 3 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/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) ## Works by year ### 2020s [**2023** 2 papers](https://md.research.elamur.ai/free/en/authors/talia-ringer/year/2023/) · [**2022** 1 paper](https://md.research.elamur.ai/free/en/authors/talia-ringer/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. 3. **[Can Transformers Learn to Solve Problems Recursively?](https://md.research.elamur.ai/free/en/papers/zhang-2023-transformers-learn-solve-problems-recursively/)** *(2023 · 17 citations)* This study asks whether small transformer models can learn to imitate structurally recursive functions purely from input-output examples. ## Co-authors here 7 co-authors with a page, the most papers together first. - [Emily First](https://md.research.elamur.ai/free/en/authors/emily-first/) ×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/) - [Curt Tigges](https://md.research.elamur.ai/free/en/authors/curt-tigges/) - [Markus N. Rabe](https://md.research.elamur.ai/free/en/authors/markus-n-rabe/) - [Shizhuo Dylan Zhang](https://md.research.elamur.ai/free/en/authors/shizhuo-dylan-zhang/) - [Stella Biderman](https://md.research.elamur.ai/free/en/authors/stella-biderman/) ## Cited by Papers of our library cite their works 102 times (of the 149,439 papers whose bibliographies we read); [51 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/talia-ringer/cited-by/). Updated 3 November 2026