Scholar
Talia Ringer
Google Scholar ID: JCJzlXsAAAAJ
Assistant Professor, University of Illinois at Urbana-Champaign
Proof Engineering
Programming Languages
Verification
Proof Automation
Dependent Types
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
655
H-index
12
i10-index
15
Publications
20
Co-authors
29
list available
Publications
4 items
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
2025
Cited
0
Stop treating `AGI' as the north-star goal of AI research
2025
Cited
0
Cobblestone: Iterative Automation for Formal Verification
arXiv.org · 2024
Cited
2
Proof Repair across Quotient Type Equivalences
2023
Cited
0
Co-authors
12 total
Emily First
University of Massachusetts Amherst
Dan Grossman
Computer Science, University of Washington
Yuriy Brun
Manning College of Information and Computer Sciences, University of Massachusetts Amherst
Stella Biderman
EleutherAI
Maxim Raginsky
Professor of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign
Zachary Tatlock
University of Washington
Ilya Sergey
Associate Professor, National University of Singapore
Karl Palmskog
KTH Royal Institute of Technology
