yangky11.github.io - Kaiyu Yang

home > domains > yangky11.github.io

Example domain paragraphs

Kaiyu Yang

I am a postdoctoral researcher at Caltech in the Computing + Mathematical Sciences (CMS) Department , working with Anima Anandkumar . I received my Ph.D. from Princeton University, where I was advised by Jia Deng and also worked with Olga Russakovsky and Danqi Chen .

杨凯峪 &nbsp/&nbsp kaiyuy [MASK] caltech [MASK] edu &nbsp/&nbsp CV &nbsp/&nbsp Bio &nbsp/&nbsp Google Scholar &nbsp/&nbsp Github

Links to yangky11.github.io (7)

• mathai2023.github.io 3nd MATH-AI Workshop at NeurIPS'23 - Math-AI
• infinigen.org Home | Infinigen
• leandojo.org LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
• machine-learning-for-theorem-proving.github.io NeurIPS Tutorial on Machine Learning for Theorem Proving
• peiyang-song.github.io Peiyang Song
• billysx.github.io Shixing Yu
• mathai-2023.github.io 3nd MATH-AI Workshop at NeurIPS'23 - Math-AI