Talia Ringer
Scholar

Talia Ringer

Google Scholar ID: JCJzlXsAAAAJ
Assistant Professor, University of Illinois at Urbana-Champaign
Proof EngineeringProgramming LanguagesVerificationProof AutomationDependent Types
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
655
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
29 total
Emily First
Emily First
University of Massachusetts Amherst
Dan Grossman
Dan Grossman
Computer Science, University of Washington
Yuriy Brun
Yuriy Brun
Manning College of Information and Computer Sciences, University of Massachusetts Amherst
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Stella Biderman
Stella Biderman
EleutherAI
Maxim Raginsky
Maxim Raginsky
Professor of Electrical and Computer Engineering, University of Illinois, Urbana-Champaign