Talia Ringer

Talia Ringer has 3 papers in our library, in 2022–2023; often with Emily First, Yuriy Brun, Alex Sanchez-Stern.

3 papers in our library · 2022–2023

The profile is the library's match of the name; two people with one name are not always told apart.

Affiliations

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

Of its works in our library, with the number of works on each.

The most cited first (OpenAlex and our library).

Baldur: Whole-Proof Generation and Repair with Large Language Models (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…
Passport: Improving Automated Formal Verification Using Identifiers (2022 · 35 citations)
Machine-learning proof-synthesis tools for the Coq proof assistant learn from existing proof corpora to suggest proof scripts.
Can Transformers Learn to 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.

7 co-authors with a page, the most papers together first.

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 →.

Updated 3 November 2026