Yudong Wang

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Lushi Pu (1)Weiming Zhang (1)Xinheng Xie (1)Zixuan Fu (1)

Papers (1)

Aug 14, 2026

Affiliation:1w ago

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

MathForm-8B not only outperforms specialized autoformalizers but also sets a new standard for verified mathematical formalization with an impressive 88.06% pass rate on syntax checks.

Lushi Pu, Weiming Zhang, Xinheng Xie +7

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Yudong Wang

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)