ML Anthology
Authors
Search
About
Song, Liangcheng
1 publications
NeurIPS
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