@misc{indiciae65822e0144a9,
  title = {Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models},
  author = {Chenrui Cao and Liangcheng Song and Zenan Li and Xinyi Le and Xian Zhang and Hui Xue and Fan Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2506.11487},
  note = {Source identifier: 2506.11487}
}