Disheng Xu

Great Bay University

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Lingkai Kong (1)Zijian Wu (1)Yuzhe Gu (1)Haiteng Zhao (1)

Papers (1)

Jul 13, 2026

1w ago·also CUHK, Great Bay University, SJTU

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

AdvancedMathBench reveals that even state-of-the-art models struggle with advanced mathematical reasoning, achieving only 75.8% accuracy in proof generation.

Lingkai Kong, Zijian Wu, Yuzhe Gu +9

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Search

Disheng Xu

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)