- š Hi, Iām Peiyang Song, an Honors CS undergrad in College of Creative Studies (CCS), UC Santa Barbara. I am also a SURF fellow in Anima AI + Science Lab at Caltech.
- š My research interest is in Machine Learning (ML), from its applications in Natural Language Processing (NLP) and Computer Vision (CV), to its foundations in Systems and Programming Languages (PL).
- š± My recent research is mainly in two directions: 1) neuro-symbolic reasoning and AI4Math combining Large Language Models (LLMs) with Interactive Theorem Provers (ITPs); 2) energy-efficient machine learning with temporal logic and other novel designs.
- š« I'm always open to collaborations. Please feel free to email me at [email protected].
peiyang-song Goto Github PK
Name: Peiyang Song
Type: User
Company: UC Santa Barbara
Bio: Honors CS undergrad in College of Creative Studies (CCS), UC Santa Barbara; Researcher at Anima AI + Science Lab at Caltech
Twitter: p_song1
Location: Santa Barbara, CA, United States of America
Blog: peiyang-song.github.io