Cao, Chenrui

1. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
   2025/06/13 by Cao, Chenrui, Song, Liangcheng, Li, Zenan +4 · 8 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
   2025/08/06 by Wu, Yutong, Huang, Di, Wan, Ruosi +8 · 6 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)