DeepSeek-Prover-V2

Advancing Formal Mathematical Reasoning via RL

설명

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.

카테고리

Git 클라이언트

DeepSeek-Prover-V2

Advancing Formal Mathematical Reasoning via RL

설명

카테고리

태그

권장 제품