Research author

Hengyu Zhao

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Hengyu Zhao

Aug 14, 2026
cs.AI

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

Lushi Pu, Weiming Zhang, Xinheng Xie, et al.

7
Jul 9, 2026
cs.CL

UltraX: Refining Pre-Training Data at Scale with Adaptive Programmatic Editing

Xinlong Zhao, Dongsheng Liu, Hengyu Zhao, et al.

Hengyu Zhao — AI Research Papers | One9Founders