cv

Ph.D.

Johns Hopkins University, Whiting School of Engineering

Computer Science

M.S.

Columbia University, Fu Foundation School of Engineering and Applied Science

Computer Science, Track: Advanced Master's Research

• GPA: 4.05/4.30

B.A. & B.B.A.

Emory University, Emory College of Arts and Sciences, Goizueta Business School

Computer Science and Business Administration (Double Major)

• GPA: 3.88/4.00 (CS GPA: 3.97/4.00)
• Graduation with Distinction (top 20%)
• Dean's List: Fall 2020, Fall 2021, Spring 2022, Fall 2023, Spring 2024

Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs

arXiv preprint

Tadd Mao, Tianjun Zhong, Dhruva Arekar, Yuming Feng, One An, Jiani Huang, Xujie Si, Ziyang Li

SWE-Spot: Building Small Repo-Experts with Repository-Centric Learning

arXiv preprint

Jinjun Peng*, Magnus Saebo*, Tianjun Zhong, Yi-Jie Cheng, Junfeng Yang, Baishakhi Ray, Simin Chen, Yangruibo Ding

From Chains to DAGs: Probing the Graph Structure of Reasoning in LLMs

arXiv preprint

Tianjun Zhong, Linyang He, Ziyang Li, Nima Mesgarani

Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement

NeurIPS 2025

Linyang He*, Tianjun Zhong*, Richard Antonello, Gavin Mischler, Micah Goldblum, Nima Mesgarani

K2-Think: A Parameter-Efficient Reasoning System

arXiv preprint

Zhoujun Cheng*, Richard Fan*, Shibo Hao*, Taylor W. Killian*, Haonan Li*, Suqi Sun*, ..., Tianjun Zhong, ..., Xuezhe Ma, Guowei He, Zhiting Hu, Zhengzhong Liu*, Eric P. Xing

AI Engineering Intern

TripleE Group, Department of Product R&D

• Designed three RAG improvements for query-document matching, dynamic top-k retrieval, and optimized text splitting.
• Evaluated embedding models and integrated reranking, achieving 98.45% top-1 accuracy on high-difficulty synthetic queries.
• Created a web-scraping pipeline and 23 FAISS vector databases from 1.27M+ scraped tokens for downstream retrieval.

Software Engineering Intern

Tencent, Department of IDC Platform

• Developed automated tools monitoring 30+ data centers, generating operational reports, and submitting operational requests.

Teaching Assistant

Emory University, Goizueta Business School

Applied Data Analytics with Coding

Mentored 122 students through weekly office hours; delivered detailed feedback on assignments, projects, and exams to help students improve technical skills and conceptual understanding in Python and SQL.

International Collegiate Programming Contest (ICPC), Team Leader, Contestant

ICPC

Ranked 3rd among 103 teams in the 2023 ICPC Southeast USA Regional Contest and 19th among 110 teams in the 2022 ICPC.

Graduation with Distinction

Emory University

Graduated in the top 20%.

Dean's List

Emory University

Fall 2020, Fall 2021, Spring 2022, Fall 2023, Spring 2024.