🧑🔬 Rui Zhang — papers of 2025 — 1 paper, the most cited first1 paper · all years of Rui ZhangStepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/rui-zhang/year/2025/