Research author

Shuya Zhao

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Shuya Zhao

Jul 13, 2026
cs.CL

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification

Lingkai Kong, Zijian Wu, Yuzhe Gu, et al.

22
Shuya Zhao — AI Research Papers | One9Founders