Author

Hai-Teng Zhao

h-index 5 View on Semantic Scholar

We have 3 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Dec 2025

Achieving Olympiad-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning

This work makes the first attempt to build a medalist-level LLM agent for geometry and presents InternGeometry, which solves 44 of 50 IMO geometry problems (2000-2024), exceeding the average gold medalist score, using only 13K training examples, just 0.004% of the data used by AlphaGeometry 2.

Hai-Teng Zhao, Junhao Shen, Yiming Zhang et al. · 7 citations · ⚡1

Jul 2026

Scalable Visual Pretraining for Language Intelligence

This paper conducts a systematic study of unsupervised visual pretraining paradigms that directly leverage visual documents without text extraction, showing that Visual Pretraining is a scalable learner for foundation model intelligence.

Yiming Zhang, Zhonghan Zhao, Wenwei Zhang et al. · arXiv.org · 2 citations

#natural language process... Jul 2026

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

Large language models (LLMs) have achieved remarkable performance on high-school and olympiad-style mathematics, yet their capabilities on advanced mathematics remain poorly understood. Existing benchmarks, however, fall short in both scope and evaluation granularity: they provide limited disciplinary coverage and ofte...

Lingkai Kong, Zijian Wu, Yuzhe Gu et al. · arXiv.org · 0 citations