I'm Yuheng Wu, an M.S. student in Electrical Engineering at
Stanford University, advised by
Prof. Thierry Tambe.
Before joining Stanford, I received my B.E. in Electronic Information Engineering from
Wuhan University.
My research centers on large language models (LLMs), with a focus on
reasoning, test-time methods, verification, formal methods,
and hardware-software co-design.
