Kaiyu Yang (Preferred)
Kaiyu Yang
Researcher, Meta
- Joined August 2018
Names
Emails
****@princeton.edu (Confirmed)
, ****@cs.princeton.edu (Confirmed)
, ****@umich.edu (Confirmed)
, ****@caltech.edu (Confirmed)
, ****@meta.com (Confirmed)
Personal Links
Career & Education History
Researcher
Meta (meta.com)
2024 – Present
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