We stand with Ukraine  

Zijian Wu

Affiliations:
  • Shanghai AI Laboratory, Shanghai, China
  • Shanghai Jiao Tong University, Shanghai, China
  • Chinese University of Hong Kong, Sha Tin, Hong Kong


According to our database1, Zijian Wu authored at least 4 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems.
[BibTeX]
[DOI]
Zijian Wu
,
Suozhi Huang
,
Zhejian Zhou
,
Huaiyuan Ying
,
Jiayu Wang
,
Dahua Lin
,
Kai Chen
CoRR, 2024

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover.
[BibTeX]
[DOI]
Zijian Wu
,
Jiayu Wang
,
Dahua Lin
,
Kai Chen
CoRR, 2024

InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.
[BibTeX]
[DOI]
Huaiyuan Ying
,
Shuo Zhang
,
Linyang Li
,
Zhejian Zhou
,
Yunfan Shao
,
Zhaoye Fei
,
Yichuan Ma
,
Jiawei Hong
,
Kuikun Liu
,
Ziyi Wang
,
Yudong Wang
,
Zijian Wu
,
Shuaibin Li
,
Fengzhe Zhou
,
Hongwei Liu
,
Songyang Zhang
,
Wenwei Zhang
,
Hang Yan
,
Xipeng Qiu
,
Jiayu Wang
,
Kai Chen
,
Dahua Lin
CoRR, 2024

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.
[BibTeX]
[DOI]
Huaiyuan Ying
,
Zijian Wu
,
Yihan Geng
,
Jiayu Wang
,
Dahua Lin
,
Kai Chen
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024


  Loading...