DeepSeek-Prover-V2
Advancing Formal Mathematical Reasoning via RL
Featured
2 Votes
Description
DeepSeek-Prover-V2 is an open-source AI revolutionizing formal theorem proving in Lean 4. Powered by DeepSeek-V3, it achieves an 88.9% pass rate on MiniF2F-test and solves 49/658 PutnamBench problems.