Statistics
Publications
8
Citations
226
H-Index
8
Active since
2016
Talia Ringer is an author at University of Washington specializing in computing, computer science, and formal methods.
Publications per year
2016–2023
8
8
Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer et al. · 2023 · 76 citations
Talia Ringer, Dan Grossman, Franziska Roesner · 2016 · 34 citations
Adapting proof automation to adapt proofs
Talia Ringer, Nathaniel Yazdani, John Leo et al. · 2018 · 20 citations
1–5 of 8