- ๐ 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 gpes 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 / awesome-github-profile-readme Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yangky11/awesome-github-profile-readme
๐ A curated list of awesome GitHub Profile READMEs ๐
Home Page: https://bit.ly/awesome-gh
License: Creative Commons Zero v1.0 Universal