Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kyle Thompson
conf.researchr.org general profile
FSE 2024 profile
ICSE 2025 profile
Registered user since Tue 30 Apr 2024
Name:
Kyle Thompson
Affiliation:
University of California, San Diego
Contributions
2025
ICSE
Author of Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification within the Research Track-track
2024
ESEC/FSE
Author of CoqPyt: Proof Navigation in Python in the Era of LLMs within the Demonstrations-track
Share
x
Mon 19 May 11:12
