Runnel Zhang, NJU

I’m Runnel Zhang (also Runcheng Zhang), an undergraduate at Nanjing University’s School of Intelligent Science and Technology, exploring the intersections of CS and Mathematics. My journey has taken me from PKU’s summer and winter schools to active involvement in NJU’s CS AI community (e.g. NOVA & AIA), where I enjoy sharing knowledge on full-stack development and VAEs. I currently serve as a full-stack engineer at FluxVerse, a startup led by Mr. Chen, where I contribute to product development. Through this collaboration, I have access to a workspace at Nanjing Alibaba Center — though I am not directly employed by the company.

My research focuses on AI for Mathematics (AI4Math) (with Ziyu Zhou), with upcoming work in AI for Science (AI4Sci) and Retrieval-Augmented Generation (RAG) under Prof. Zheni Zeng. Past projects—such as tackling sparsity in Tangut script translation — have deepened my interest in applying AI to structured, symbolic domains. I’m also trying to build foundational expertise in Computer Vision, NLP, and AI interpretability, while maintaining a cautious curiosity about highly speculative ideas like applying Topos theory to neural architectures—fully aware of the conceptual gaps and skepticism surrounding such directions.

On a lighter note, you might encounter me online as Yuanjue Chou. That is the pseudonym I use to publish satirical papers on math and CS, mostly for relaxation and the sheer joy of typesetting in $\LaTeX$.

I’m continuously eager to learn, iterate, and grow through new experiences and connections.

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)!