Scholar

Chuyue (Livia) Sun

Google Scholar ID: ekfD8SYAAAAJ

Stanford University

formal verificationlarge language model

Citations & Impact

All-time

Citations

541

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

12 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Research Experience

Conducting research on formal verification and large language models at Stanford University.

Education

- Stanford University, Computer Science, PhD Student, Advisor: Professor Clark Barrett
- Massachusetts Institute of Technology, EECS, Undergraduate, Advisor: Professor Adam Chlipala, worked in the Programming Languages and Verification Group

Background

Research Interests: Formal verification and large language models. Brief Introduction: Currently a fourth-year PhD student in the Computer Science Department at Stanford University.

Co-authors

10 total