Kaiyu Yang (Preferred)
Kaiyu Yang
Researcher, MiroMind
Joined
August 2018
Names
Emails
****@princeton.edu (Confirmed)
****@cs.princeton.edu (Confirmed)
****@umich.edu (Confirmed)
****@caltech.edu (Confirmed)
****@meta.com (Confirmed)
****@alumni.princeton.edu (Confirmed)
****@miromind.ai (Confirmed)
Personal Links
Career & Education History
Researcher
MiroMind (miromind.ai)
2026 – Present
Researcher
Meta (meta.com)
2024 – 2025
Postdoc
California Institute of Technology (caltech.edu)
2022 – 2024
Ph.D. student
Princeton University (princeton.edu)
2018 – 2022
Ph.D. student
University of Michigan (umich.edu)
2016 – 2018
Undergraduate student
Tsinghua University, Tsinghua University (tsinghua.edu.cn)
2011 – 2016
Advisors, Relations & Conflicts
Expertise
automated reasoning
2018 – Present
automated theorem proving
2018 – Present
program synthesis
2018 – Present
neural-symbolic models
2018 – Present
logical reasoning
2018 – Present
AI for mathematics
2018 – Present
deep learning
2016 – Present
Publications
Co-Authors
- Aidan M Swope
- Alejandro Newell
- Alex Gu
- Alexander Raistrick
- Andrew Cohen
- Andrey Gromov
- Anima Anandkumar
- Ankit Goyal
- Aram H. Markosyan
- Bartosz Piotrowski
- Beining Han
- Bohan Lyu
- Chi Jin
- Dan Zhang
- Danqi Chen
- David Acuna
- Dawei Yang
- Dawn Song
- Fabian Gloeckle
- Fan Yang
- Gabriel Poesia
- Guohao Li
- Hangrui Bi
- Haoyu Zhao
- Hei Law