Add DeepSeek-Prover-V2 paper

[StaryMoon]

Summary

Adds DeepSeek-Prover-V2 to the theorem proving section.

Added paper/resource

• DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
• Paper: https://arxiv.org/abs/2504.21801
• Code: https://github.com/deepseek-ai/DeepSeek-Prover-V2

Why it fits this list

The paper focuses on formal mathematical reasoning with reinforcement learning and subgoal decomposition, so it fits the existing theorem proving entries near LeanDojo and LEGO-Prover.

Thanks

Thanks for maintaining this collection.