peiyang-song.github.io - Peiyang Song

home > domains > peiyang-song.github.io

Example domain paragraphs

Peiyang Song

I am an Honors BS candidate in Computer Science , College of Creative Studies (CCS) , University of California, Santa Barbara (UCSB) , co-advised by Professor Phill Conrad and Professor Richert Wang . I am a SFP SURF fellow in the Computing + Mathematical Sciences (CMS) Department at California Institute of Technology (Caltech) , advised by Professor Anima Anandkumar and co-advised by Dr. Kaiyu Yang . I am also an undergraduate researcher at UCSB ArchLab , working with Professor Tim Sherwood .

宋沛洋 &nbsp/&nbsp Email &nbsp/&nbsp CV &nbsp/&nbsp Google Scholar &nbsp/&nbsp Github &nbsp/&nbsp LinkedIn &nbsp/&nbsp Twitter

Links to peiyang-song.github.io (3)

• yangky11.github.io Kaiyu Yang
• leandojo.org LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
• billysx.github.io Shixing Yu