Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kyle Thompson
conf.researchr.org general profile
FSE 2024 profile
Registered user since Tue 30 Apr 2024
Name:
Kyle Thompson
Affiliation:
University of California, San Diego
Contributions
2024
ESEC/FSE
Author of CoqPyt: Proof Navigation in Python in the Era of LLMs within the Demonstrations-track
Share
x
Thu 21 Nov 11:39