Research author

Disheng Xu

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

Papers by Disheng Xu

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
Disheng Xu — AI Research Papers | One9Founders