Researcher · Executive
Kaiyu Yang
ApodexChief Scientist, Verifiable AI
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.
Career & education
Current roleApodexMar 2026-presentChief Scientist, Verifiable AI
ApodexMar 2026-present
Meta
Caltech
Tsinghua University
University of Michigan
Princeton UniversityWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations11,202As of Oct 13, '26
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 10, 2026 · Checked for accuracy and new information.