Liangcheng Song
YOU?
Author Swipe
View article: Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models Open
Recent advancements, such as DeepSeek-Prover-V2-671B and Kimina-Prover-Preview-72B, demonstrate a prevailing trend in leveraging reinforcement learning (RL)-based large-scale training for automated theorem proving. Surprisingly, we discove…