- ๐ I am an undergraduate student studying Computer Science at California Institute of Technology (Caltech). I am a researcher in the Computation & Cognition Lab (CoCoLab) at Stanford University, advised by Prof. Noah Goodman.
- ๐ My current research interest is in machine reasoning, especially AI for mathematics. During the past, I have also worked on energy-efficient machine learning systems.
- โค๏ธ I have been fortunate to work with Prof. Anima Anandkumar (Caltech), Dr. Kaiyu Yang (Meta), Prof. Tim Sherwood (UC Santa Barbara), and Dr. Jeremy Lau (Google) during my undergrad.
- ๐ซ I'm always open to collaborations. Please feel free to email me at [email protected].
peiyang-song / leancopilot Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lean-dojo/leancopilot
LLMs as Copilots for Theorem Proving in Lean
Home Page: https://leandojo.org
License: MIT License