TY  - RPRT
TI  - Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
AU  - Chenrui Cao
AU  - Liangcheng Song
AU  - Zenan Li
AU  - Xinyi Le
AU  - Xian Zhang
AU  - Hui Xue
AU  - Fan Yang
PY  - 2025
UR  - https://arxiv.org/abs/2506.11487
ID  - 2506.11487
ER  -