{Zizhao, Zoe, Chen, 陈梓昭, 梓昭} are equally good with me.

I like {natural, programming, mathematical} languages, because they help us formalize this mushy and magical process in our brain that we call reasoning.

I am a CS PhD student at Cornell Tech, working with Yoav Artzi (2024-). Previously I studied robotics as an undergraduate at the University of Toronto during the pandemic (2018-2022). I worked with these folks.

I am looking for summer 2025 internship. Here is my cv.

Publications

In reverse chronological order. Alternatively see Google Scholar.

• Chen, Z., Gul, M. O., Chen, Y., Geng, G., Wu, A., & Artzi, Y. (2024). Retrospective Learning from Interactions. Preprint. Website / Paper
• Li, A. C., Chen, Z., Klassen, T. Q., Vaezipoor, P., Icarte, R. T., & McIlraith, S. A. (2024). Reward Machines for Deep RL in Noisy and Uncertain Environments. NeurIPS 2024. Paper
• Chen, Z., Wang, H., Yeh, C. H., & Liu, X. (2022). Classify Respiratory Abnormality in Lung Sounds using STFT and a Fine-tuned ResNet18 Network. In 2022 IEEE Biomedical Circuits and Systems Conference (BioCAS) (pp. 233-237). IEEE. Paper

Miscellaneous

• I once put a battery in reverse and debugged for an hour (video). More stories like this.
• I programmed likely world’s least cost-efficient photocopier with a robot arm (video).
• I was certified for spending too much time on the Internet.

and anonymous message