|
➤ I am an incoming CS PhD student at University of California, Los Angeles (UCLA), advised by Prof. Nanyun (Violet) Peng and Prof. Wei Wang. ➤ I am currently working in PLUS Lab and ScAI Lab. It is a privilege to work with many supportive and talented people in the lab. ➤ My research interests lie in AI for Math (Math Research / Formal Theorem Proving), Agent Harness, Retrieval-Augmented LLMs/LVLMs. CV / Google Scholar / Github / Linkedin |
|
Publications
-
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
Alexander K Taylor*, Junyi Zhang*(equal contribution), Ethan Ji, Vigyan Sahai, Haikang Deng, Yuanzhou Chen,
Yifan Yuan, Di Wu, Jia-Chen Gu, Kai-Wei Chang†, Nanyun Peng†, Amit Sahai†, Wei Wang†
arXiv preprint
[paper] | [code] | [project page] | [hugging face data] |
-
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Eric Jiang, Xiao Liang, Yikai Zhang, Yingjia Wan, Mengting Li, Haikang Deng, Alexander K. Taylor, Justin Baker, Rushil Raghavan, Junyi Zhang, Ying Nian Wu, Andrea L. Bertozzi, Kai-Wei Chang, Raghu Meka, Matthew Sottile, Nanyun Peng, Amit Sahai, Terence Tao, Wei Wang
arXiv preprint
[paper] | [code]
-
BRIEF-PRO: Universal Context Compression with Short-to-Long Synthesis for Fast and Accurate Multi-Hop Reasoning
ACL 2026 Findings
Jia-Chen Gu*, Junyi Zhang*(equal contribution), Di Wu, Yuankai Li, Kai-Wei Chang, Nanyun Peng
[paper] | [code] | [project page] | [hugging face data] | [model]
-
TemMed-Bench: Evaluating Temporal Medical Image Reasoning in Vision-Language Models
COLM 2026
Junyi Zhang, Jia-Chen Gu, Wenbo Hu, Yu Zhou, Robinson Piramuthu, Nanyun Peng
[paper] | [code] | [project page] | [hugging face data] [Talk at ResearchTrendAI]
-
SAN: Structure-Aware Network for Complex and Long-Tailed Chinese Text Recognition
ICDAR 2023
Junyi Zhang, Chang Liu, Chun Yang
[paper] | [code]
Education
- PhD, Computer Science, University of California, Los Angeles, 2026-2031 (expected)
- MS, Electrical and Computer Engineering, University of California, Los Angeles, 2024-2026
-
BS, Computer Science, University of Science and Technology Beijing, 2020-2024
Awards
Scholarships
- National Scholarship of China (Awarded to 0.2% of students nationwide)
- Champion's Scholarship (Top 1 in CS department)
- University-Level First-Class Scholarship
Competition Awards
- National AI Board Game Tournament, National 2nd Prize
- MCM/ICM, Honorable Mention
- National Undergraduate Physics Competition, 1st Prize, Beijing Physics Society
- National Undergraduate Mathematics Competition, 1st Prize, Beijing Mathematics Society
Based on this website.