Chuyue (Livia) Sun
Hello!
I am a fourth-year PhD student at Stanford University Computer Science Department advised by Professor Clark Barrett. I work on formal verification and large language models. Before that, I was an undergraduate student majoring in EECS at Massachusetts Institute of Technology where I worked with Professor Adam Chlipala in the Programming Languages and Verification Group.