Bio
Peiyang Song is a rising senior studying Computer Science at California Institute of Technology (Caltech), advised by Prof. Steven Low, with a minor in Robotics advised by Prof. Günter Niemeyer. He is a researcher in Berkeley AI Research (BAIR) Lab, advised by Prof. Dawn Song and Dr. Jingxuan He. He also works in Stanford AI Lab (SAIL), advised by Prof. Noah Goodman and Dr. Gabriel Poesia in the Computation & Cognition Lab (CoCoLab). His current research interest is mainly in LLM reasoning, especially neuro-symbolic AI for formal math and verifiable code generation. In the past, he also published on neuro-symbolic methods for energy-efficient ML systems and neural machine translation.