Zijian Wu

PhD student, The Chinese University of Hong Kong

Joined

February 2024

Names

Zijian Wu (Preferred)

,

吴子健

Emails

****@sjtu.edu.cn (Confirmed)

,

****@pjlab.org.cn (Confirmed)

Personal Links

Career & Education History

PhD student

The Chinese University of Hong Kong (cuhk.edu.hk)

2024 – 2028

Undergrad student

Shanghai Jiaotong University (sjtu.edu.cn)

2020 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

LONG-HORIZON REASONING AGENT FOR OLYMPIAD- LEVEL MATHEMATICAL PROBLEM SOLVING
Songyang Gao, Yuzhe Gu, Zijian Wu, Lingkai Kong, Wenwei Zhang, ZhongruiCai, Fan Zheng, Tianyou Ma, Junhao Shen, Haiteng Zhao, Duanyang Zhang, Huilun Zhang, Kuikun Liu, Chengqi Lyu, YanhuiDuan, Chiyu Chen, Ningsheng Ma, Jianfei Gao, Han Lyu, Dahua Lin et al. (1 additional authors not shown)
- Submitted to ICLR 2026
- Readers: Everyone
OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification
Zijian Wu, Lingkai Kong, Wenwei Zhang, Songyang Gao, Yuzhe Gu, ZhongruiCai, Tianyou Ma, Yuhong Liu, wangzhi, Runyuan Ma, Guangyu Wang, Wei Li, Conghui He, Dahua Lin, Kai Chen
- Submitted to ICLR 2026
- Readers: Everyone
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Zheng Yuan, Wenwei Zhang, Dahua Lin, Kai Chen
- AI4Math@ICML25 Poster
- Readers: Everyone
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Huaiyuan Ying, Zijian Wu, Yihan Geng, JIayu Wang, Dahua Lin, Kai Chen
- NeurIPS 2024 Track Datasets and Benchmarks Poster
- Readers: Everyone
Evolving Subnetwork Training for Large Language Models
Hanqi Li, Lu Chen, Da Ma, Zijian Wu, Su Zhu, Kai Yu
- ICML 2024 Poster
- Readers: Everyone

Co-Authors

View all 37 co-authors