BIO
Visiting Researcher @IFM_AI, @EdinburghNLP | First Year PhD Student @imperialcollege LLM Reasoning | Theorem Proving
Kaiyu Yang
@KaiyuYang4
Lead Scientist @Apodex_AI. Previously: Research Scientist @Meta FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.