We stand with Ukraine  

Tianxi Zhou

According to our database1, Tianxi Zhou authored at least 1 paper in 2025.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience.
[BibTeX]
[DOI]
Jiangjie Chen
,
Wenxiang Chen
,
Jiacheng Du
,
Jinyi Hu
,
Zhicheng Jiang
,
Allan Jie
,
Xiaoran Jin
,
Xing Jin
,
Chenggang Li
,
Wenlei Shi
,
Zhihong Wang
,
Mingxuan Wang
,
Chenrui Wei
,
Shufa Wei
,
Huajian Xin
,
Fan Yang
,
Weihao Gao
,
Zheng Yuan
,
Tianyang Zhan
,
Zeyu Zheng
,
Tianxi Zhou
,
Thomas Hanwen Zhu
CoRR, December, 2025


  Loading...