Researcher · Executive

Kaiyu Yang

KY

Chief Scientist, Verifiable AI at Apodex

Yang helped establish machine learning for formal theorem proving through CoqGym and LeanDojo, which give models environments, data and retrieval tools for constructing machine-checkable proofs. He now leads Apodex's verifiable-AI lab, extending formal reasoning to code, mathematics and research agents.

See something inaccurate or outdated?

Background

Current role

Chief Scientist, Verifiable AI 2026-presentApodex

Previously

Until 2026Research Scientist, FAIR,

Postdoctoral Scholar,

Education

Princeton University

Tsinghua University

About this data

Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.

Last editorial review: August 10, 2026