Chenrui Cao

According to our database, Chenrui Cao authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion.

Yutong Wu, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, Rui Zhang, Zidong Du, Jie Yang, Xing Hu

CoRR, August, 2025

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models.

Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang

CoRR, June, 2025