- ๐ 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 and code generation. In 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 / aesop Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/aesop
White-box automation for Lean 4
License: Apache License 2.0