Yuyao Wang

Undergraduate (Senior)

Nanjing University

About Me

I am Yuyao Wang (王宇峣), a senior student in Computer Science (Elite Class) at Nanjing University. My research interest lies in topics related to the correctness, programmability and performance of computer systems.

I have been attached to programming and algorithm design since middle school and aspire to bring elegant solutions for tackling real-world problems.


  • Computer Systems
  • Programming Languages
  • Algorithms


  • Nanjing University

    B.S. in Computer Science, 2020~2024(expected)

Recent Publications

NeurIPS '23
To Appear
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation
arXiv preprint arXiv:2305.01210. 2023
To Appear
NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis
arXiv preprint arXiv:2302.02261. 2023