🧑🔬 Chenrui Cao — papers of 2025 — 2 papers, the most cited first2 papers · all years of Chenrui CaoReviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citationsStepFun-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/chenrui-cao/year/2025/