Author

Zixuan Fu

h-index 4 View on Semantic Scholar

We have 2 of 10 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.

Preprint Aug 2026

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

MathForm is introduced, an autoformalization framework for constructing verified training data through Mathlib knowledge retrieval and verification-guided iterative refinement, and outperforming multiple specialized 32B autoformalizers.

Lushi Pu, Weiming Zhang, Xinheng Xie et al. · 0 citations

Preprint Jul 2026

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

UltraX is proposed, a function-calling refinement framework for large-scale pre-training data that completes the editing function space by introducing insertion in addition to deletion and modification, enabling fine-grained instance-level editing.

Xinlong Zhao, Dongsheng Liu, Hengyu Zhao et al. · 0 citations