Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Paper
•
2506.11487
•
Published
•
2
Xian Zhang
luckyzhxian
·
AI & ML interests
None yet
Organizations
None yet
upvoted
a
paper
3 months ago