Chenrui Cao

~Chenrui_Cao1

1

论文总数

1.0

年均投稿

5.8

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20251 篇

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

NeurIPS 2025Poster

合作者 (6)

Liangcheng Song1 篇

Xian Zhang1 篇