Kaiyu Yang is leading a research team on verifiable AI at MiroMind. His research explores how machine learning and large language models can generate mathematical conjectures, prove theorems, write verifiable code, and perform reasoning that combines natural and formal languages. He was a Research Scientist at Meta FAIR and a postdoctoral scholar at Caltech. He received a Ph.D. in computer science from Princeton University and bachelor's degrees from Tsinghua University.