arxiv:2506.11487
Xian Zhang
luckyzhxian
ยท
AI & ML interests
None yet
Recent Activity
authored
a paper
11 days ago
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
upvoted
a
paper
11 days ago
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Organizations
None yet