Kaiyu Yang

Researcher, Meta

Postdoc, California Institute of Technology

  • Joined August 2018

Names

Kaiyu Yang (Preferred)

Emails

****@princeton.edu (Confirmed)
,
****@cs.princeton.edu (Confirmed)
,
****@umich.edu (Confirmed)
,
****@caltech.edu (Confirmed)
,
****@meta.com (Confirmed)

Education & Career History

Researcher
Meta (meta.com)
2024Present
 
Postdoc
California Institute of Technology (caltech.edu)
20222024
 
Ph.D. student
Princeton University (princeton.edu)
20182022
 
Ph.D. student
University of Michigan (umich.edu)
20162018
 
Undergraduate student
Tsinghua University, Tsinghua University (tsinghua.edu.cn)
20112016
 

Advisors, Relations & Conflicts

Coauthor
Olga Russakovsky
Present
 
Coauthor
2023Present
 
Coauthor
2023Present
 
Coauthor
2023Present
 
Coauthor
2023Present
 
Coauthor
2023Present
 
Coauthor
2020Present
 
Coauthor
2015Present
 
Postdoc Advisor
20242024
 
Postdoc Advisor
20242024
 
Coauthor
20222024
 
Coauthor
20212022
 
Coauthor
20192022
 
Coauthor
20192022
 
PhD Advisor
20162022
 
Coauthor
Klint Qinami
20192020
 
Coauthor
20162020
 

Expertise

automated reasoning
2018Present
 
automated theorem proving
2018Present
 
program synthesis
2018Present
 
neural-symbolic models
2018Present
 
logical reasoning
2018Present
 
deep learning
2016Present