![Chuyue Sun](https://popl24.sigplan.org/getProfileImage/chuyuesun/e364e3be-fa68-4061-bd7d-791969f31a13/small.jpg?1711484849000)
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