Kaifeng Lyu 吕凯风
I am currently a final-year Ph.D. student in the Computer Science Department at Princeton University and I am very fortunate to be advised by Prof. Sanjeev Arora. I will be joining the Institute for Interdisciplinary Information Sciences (IIIS) at Tsinghua University as a Tenure-Track Assistant Professor in Fall 2025. Before that, I will join the Simons Institute at UC Berkeley as a Research Fellow for the programs of Modern Paradigms in Generalization and Special Year on Large Language Models and Transformers in Aug 2024.
I did my undergraduate at Tsinghua University and received a B.Eng. in Computer Science and Technology in 2019. At Tsinghua, I was a student of Yao Class headed by Prof. Andrew Chi-Chih Yao and I was very fortunate to be advised by Prof. Jian Li.
Preprints
Conference Papers
- Spring 2024. Teaching Assistant for COS324: Introduction to Machine Learning (taught by Prof. Sanjeev Arora & Prof. Elad Hazan), Princeton University.
- Fall 2022. Teaching Assistant for COS521: Advanced Algorithm Design (taught by Prof. Matt Weinberg & Prof. Huacheng Yu), Princeton University.
- Spring 2021. Teaching Assistant for COS598B: Advanced Topics in Computer Science: Mathematical Understanding of Deep Learning (taught by Prof. Sanjeev Arora), Princeton University.
- Spring 2020. Teaching Assistant for Mathematics for Computer Science (taught by Prof. Andrew Chi-Chih Yao), Tsinghua University.
- Spring 2019. Teaching Assistant for Distributed Computing (taught by Prof. Wei Chen), Tsinghua University.
Professional Services
- Organizer, NeurIPS 2023 Workshop on Mathematics of Modern Machine Learning (M3L).
- Conference Reviewer: ICML (2020-2023), NeurIPS (2020-2023), ICLR (2022-2024), TPAMI, COLT (2020), AAAI (2020), KDD (2022).
- Journal Reviewer: TMLR, JMLR, TPAMI, AIJ.
- Organizer, Yao Class Seminar, Tsinghua University (Fall 2019, Fall 2020, Spring 2021).
Universal Online Judge
- I founded the Universal Online Judge (UOJ) in 2014, a popular online judge system in China.
- UOJ is capable of testing both traditional and non-traditional programming problems in OI (Olympiad in Informatics). A team of top OI players regularly hosts programming contests on UOJ.
- [Link] [GitHub] [Docs]