Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Talia Lily Ringer
conf.researchr.org general profile
FSE 2025 profile
ICSE 2025 profile
Not registered as user
Name:
Talia Lily Ringer
Country:
United States
Affiliation:
University of Illinois Urbana-Champaign
Contributions
2025
ICSE
Author of QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning within the Research Track-track
Share
x
Wed 19 Mar 14:12
