Registered user since Mon 27 Mar 2023
Name:Chuyue Sun
Affiliation:Stanford University
Personal website: https://web.stanford.edu/~chuyues/
Research interests:Formal Verification, Machine Learning
Contributions
POPL 2024-profile
View general profile
View general profile