Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Qing Yi
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Qing Yi
Affiliation:
Lawrence Livermore National Laboratory
Contributions
2025
Mining Software Repositories
Author of FormalSpecCpp: A Dataset of C++ Formal Specifications Created Using LLMs within the Data and Tool Showcase Track-track
Share
x
Tue 9 Sep 05:18