Runnel Zhang

Runnel Zhang, NJU

Il nous montre une correspondance subtile et fine, comme venue du vide.

I’m Runnel Zhang (also Runcheng Zhang), an undergraduate at Nanjing University’s School of Intelligent Science and Technology. My journey has taken me from PKU’s summer and winter schools to NJU’s CS AI community (e.g. NOVA & AIA), where I have shared material on full-stack development and VAEs. I also work as a full-stack engineer at FluxVerse, contributing to product development. Through this collaboration, I have access to a workspace at Nanjing Alibaba Center — though I am not directly employed by Alibaba.

I am currently a Research Intern at TsinghuaNLP, working on AI for Science (AI4Sci) under Prof. Zheni Zeng, while also working on AI for Mathematics (AI4Math) with Ziyu Zhou at MSRA. I am interested in places where AI meets structured or symbolic material: mathematical reasoning, low-resource language problems such as Tangut translation, and tools for experiments, notes, and datasets. I am still building the background I need in Computer Vision, NLP, and AI interpretability.

Online, I also use the pseudonym Yuanjue Chou for satirical math and CS writing, typesetting experiments, and other unserious LaTeX\LaTeX-heavy pieces.

Feel free to reach out via email (Runnel.Zhang@smail.nju.edu.cn) or explore my work on GitHub (@ChouYuanjue) and ORCID (0009-0005-7611-3583)!

INM Notes

Mathematical notes: 158 notes, 15 volumes, PDF and TeX sources.

Projects

Engineering systems, bot frameworks, low-resource language tools, and TeX/OCR pipelines.

Fragments

Study records, correspondence, project diaries, satire, and short notes.

Index

Site-wide list of projects, publications, artifacts, fragments, and notes.